## Provability logic (2004)

Venue: | Handbook of Philosophical Logic, 2nd ed |

Citations: | 25 - 9 self |

### BibTeX

@INPROCEEDINGS{Artemov04provabilitylogic,

author = {Sergei Artemov},

title = {Provability logic},

booktitle = {Handbook of Philosophical Logic, 2nd ed},

year = {2004},

pages = {229--403},

publisher = {Kluwer}

}

### Years of Citing Articles

### OpenURL

### Abstract

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t:F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. As a case study, we formalize Gettier examples in Justification Logic and reveal hidden assumptions and redundancies in Gettier reasoning. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. 1