Topological Semantics of Justification Logic
- Cite this paper as:
- Artemov S., Nogina E. (2008) Topological Semantics of Justification Logic. In: Hirsch E.A., Razborov A.A., Semenov A., Slissenko A. (eds) Computer Science – Theory and Applications. CSR 2008. Lecture Notes in Computer Science, vol 5010. Springer, Berlin, Heidelberg
The Justification Logic is a family of logical systems obtained from epistemic logics by adding new type of formulas Open image in new window which reads as t is a justification for F. The major epistemic modal logic S4 has a well-known Tarski topological interpretation which interprets \(\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 \(\Box F\) and justification assertions Open image in new window. This topological semantics interprets modality as the interior, terms t represent tests, and a justification assertion Open image in new window 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.
KeywordsJustification Logic Logic of Proofs modal logic topological semantics Tarski
Unable to display preview. Download preview PDF.