# PP-2006-29: A Note on Some Explicit Modal Logics

PP-2006-29: Pacuit, Eric (2006) A Note on Some Explicit Modal Logics. [Report]

 Preview
Text (Full Text)
PP-2006-29.text.pdf

Text (Abstract)
PP-2006-29.abstract.txt

Artemov introduced the Logic of Proofs ($\LP$) as a logic of explicit proofs. We can also offer an epistemic reading of this formula: "$t$ is a possible justification of $\phi$". Motivated, in part, by this epistemic reading, Fitting introduced a Kripke style semantics for $\LP$ in [Fitting]. In this note, we prove soundness and completeness of some axiom systems which are not covered in [Fitting].