Topological Semantics of Justification Logic

DOI10.1007/978-3-540-79709-8_7zbMath1138.03015OpenAlexW2108251248MaRDI QIDQ3503622

Elena Nogina, Sergej N. Artemov

Publication date: 5 June 2008

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79709-8_7

zbMATH Keywords

modal logicTarskitopological semanticsJustification LogicLogic of Proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (3)

Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements ⋮ Topological Semantics of Justification Logic ⋮ Completeness of a functional system for surjective functions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of proofs, semantically
• Dynamic topological logic
• Completeness of S4 with respect to the real line: revisited
• Logic of proofs
• A proof of topological completeness for S4 in \((0,1)\)
• Topological reasoning and the logic of knowledge
• Justified common knowledge
• The algebra of topology
• Explicit Provability and Constructive Semantics
• Introducing Justification into Epistemic Logic
• Topological Semantics of Justification Logic
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• Some theorems about the sentential calculi of Lewis and Heyting
• Logic of proofs and provability

This page was built for publication: Topological Semantics of Justification Logic