论文信息 - The logic of proofs, semantically

The logic of proofs, semantically

Abstract A new semantics is presented for the logic of proofs (LP), (Technical Report MSI 95-29, Cornell University (1995), Bull. Symbolic Logic 7 (2001) 1) based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of several basic results concerning LP. In particular, the realization of S4 into LP is established in a way that carefully examines and explicates the role of the + operator. Finally connections are made with the conventional approach, via soundness and completeness results.

Melvin Fitting | M. Fitting

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

[2] N. Malcolm. On Knowledge and Belief , 1954 .

[3] Melvin Fitting. A semantic proof of the realizability of modal logic in the logic of proofs , 2003 .

[4] Sergei N. Artëmov. Logic of Proofs , 1994, Ann. Pure Appl. Log..

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

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

[7] Roman Kuznets. On the Complexity of Explicit Modal Logics , 2000, CSL.

[8] Melvin Fitting. TR-2003012: A Semantics for the Logic of Proofs , 2003 .