Topological Semantics of Justification Logic

DOI10.1007/978-3-540-79709-8_7MaRDI QIDQ3503622zbMATH OpenOpenAlexFDO

Authors Elena Nogina, Sergei 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

Justification LogicLogic of Proofsmodal logicTarskitopological semantics

Mathematics Subject Classification ID

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

Recommendations

• The topology of justification
• scientific article; zbMATH DE number 2154581
• scientific article; zbMATH DE number 810107
• Modal Logics of Topological Relations
• Topological interpretations of provability logic
• Topological semantics of conservativity and interpretability logics
• scientific article; zbMATH DE number 1537947
• Topology and duality in modal logic
• A topological characterization of consistency of logic theories in propositional logic
• scientific article; zbMATH DE number 6787689

Cites work

• A proof of topological completeness for S4 in (0,1)
• Completeness of S4 with respect to the real line: revisited
• Dynamic topological logic
• Explicit provability and constructive semantics
• scientific article; zbMATH DE number 1215499 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 1114356 (Why is no real title available?)
• scientific article; zbMATH DE number 1166301 (Why is no real title available?)
• Introducing Justification into Epistemic Logic
• Justified common knowledge
• Kolmogorov and Gödel's approach to intuitionistic logic: current developments
• Logic of proofs
• Logic of proofs and provability
• On completeness of dynamic topological logic
• Some theorems about the sentential calculi of Lewis and Heyting
• The algebra of topology
• The logic of proofs, semantically
• Topological reasoning and the logic of knowledge
• Topological Semantics of Justification Logic

Cited in

(11)

• A topological characterization of consistency of logic theories in propositional logic
• Topological Semantics of Justification Logic
• The topology of justification
• TOPOS BASED SEMANTIC FOR CONSTRUCTIVE LOGIC WITH STRONG NEGATION
• The ontology of justifications in the logical setting
• scientific article; zbMATH DE number 810107 (Why is no real title available?)
• Completeness of a functional system for surjective functions
• A Topos-Theoretic Approach to Counterfactual Logic
• scientific article; zbMATH DE number 6787689 (Why is no real title available?)
• Topology and justified true belief: a baseless, evidence-free (and pointless) approach
• Logic of knowledge and discovery via interacting agents -- decision algorithm for true and satisfiable statements

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3503622)