The logic of proofs, semantically

A new semantics is presented for the logic of proofs (LP), [1, 2], 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.

• Type: Journal
• Year: 2005
• Where: APAL
• Authors: Melvin Fitting
• Keywords: APAL 2005, Conventional Approach, Explicit Knowledge, Logic