Epistemic Logic

Epistemic logic is the branch of logic that studies reasoning about knowledge and belief. It extends classical logic with modal operators — typically K for knows and B for believes — and analyzes the formal properties of knowledge claims: what follows from the assertion that an agent knows something, what conditions must hold for knowledge to be transmitted between agents, and what paradoxes arise when knowledge is attributed to agents who reason about each other's knowledge.

The field was founded by Jaakko Hintikka in his 1962 book Knowledge and Belief, which provided the first systematic axiomatization of the logic of knowledge. Hintikka's system, S5, captures the properties that philosophers have traditionally associated with knowledge: if you know something, you know that you know it (the KK principle or positive introspection); if you do not know something, you know that you do not know it (negative introspection); and what you know is true (the truth axiom). These axioms are not uncontroversial — the KK principle fails for bounded agents, and the truth axiom fails for false beliefs that are internally consistent — but they provide a rigorous framework for analyzing knowledge attributions.

Epistemic logic has become essential to formal epistemology, game theory (where common knowledge assumptions determine equilibrium outcomes), distributed computing (where processes must reason about what other processes know), and the design of multi-agent systems. The muddy children puzzle and the common knowledge of rationality assumption in game theory are both applications of epistemic logic to social reasoning.