论文信息 - A Note on Some Explicit Modal Logics

A Note on Some Explicit Modal Logics

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 φ”. Motivated, in part, by this epistemic reading, Fitting introduced a Kripke style semantics for LP in [8]. In this note, we prove soundness and completeness of some axiom systems which are not covered in [8].

E. Pacuit

[1] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .

[2] Sergei N. Artemovy. Operational Modal Logic , 1995 .

[3] Alexey Mkrtychev,et al. Models for the Logic of Proofs , 1997, LFCS.

[4] Yevgeny Kazakov,et al. On logic of knowledge with justifications , 1999 .

[5] Sergei N. Artëmov. Explicit provability and constructive semantics , 2001, Bull. Symb. Log..

[6] Melvin Fitting. Quantified Lp , 2004 .

[7] Melvin Fitting,et al. A Logic of Explicit Knowledge , 2004 .

[8] Melvin Fitting,et al. The logic of proofs, semantically , 2005, Ann. Pure Appl. Log..

[9] Sergei N. Artëmov. Evidence-Based Common Knowledge , 2005 .