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

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

[thumbnail of Full Text]
Text (Full Text)

Download (148kB) | Preview
[thumbnail of Abstract] 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