| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10118908 | Annals of Pure and Applied Logic | 2005 | 25 Pages |
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
Melvin Fitting,