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

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

Text (Full Text)

Download (148kB) | Preview
[img] Text (Abstract)

Download (515B)


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].

Item Type: Report
Report Nr: PP-2006-29
Series Name: Prepublication (PP) Series
Year: 2006
Uncontrolled Keywords: Explicit Modal Logic; Logic of Proofs
Depositing User: epacuit
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/204

Actions (login required)

View Item View Item