View Related Documents

Abstract

The Justification Logic is a family of logical systems obtained from epistemic logics by adding new type of formulas [¯] F\Box F as the interior of F (a topological equivalent of the ‘knowable part of F’). In this paper we extend the Tarski topological interpretation from epistemic modal logics to justification logics which have both: knowledge assertions [¯] F\Box F and justification assertions . This topological semantics interprets modality as the interior, terms t represent tests, and a justification assertion represents a part of F which is accessible for test t. We establish a number of soundness and completeness results with respect to Kripke topology and the real line topology for S4-based systems of Justification Logic.

Keywords  Justification Logic - Logic of Proofs - modal logic - topological semantics - Tarski

Fulltext Preview

Image of the first page of the fulltext document