Article ID Journal Published Year Pages File Type
10118908 Annals of Pure and Applied Logic 2005 25 Pages PDF
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.
Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
,