This book creates a conceptual schema that acts as a correlation between Epistemology and Epistemic Logic. It connects both fields and offers a proper theoretic

Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early 1960s. Si

Reasoning about knowledge—particularly the knowledge of agents who reason about the world and each other's knowledge—was once the exclusive province of phil

Part of a trilogy exploring the theory of knowledge by one of the world's foremost philosophers.

Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.