A topological approach to full belief

DOI10.1007/s10992-018-9463-4zbMath1457.03030OpenAlexW2803679462WikidataQ92908892 ScholiaQ92908892MaRDI QIDQ2421518

Sonja Smets, Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün

Publication date: 17 June 2019

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-018-9463-4

zbMATH Keywords

completenessconditional beliefsepistemic logicaxiomatizationtopological semanticsdoxastic logicupdates(hereditarily) extremally disconnected spaces

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Consistency and independence results in general topology (54A35) Extremally disconnected spaces, (F)-spaces, etc. (54G05)

Related Items

Relating Semantics for Epistemic Logic ⋮ A modal logic for supervised learning ⋮ A Logic of Knowledge and Belief Based on Abstract Arguments ⋮ Quantum epistemology and constructivism ⋮ Unification of Modal Logic via Topological Categories ⋮ On the logic of belief and propositional quantification ⋮ LOGIC AND TOPOLOGY FOR KNOWLEDGE, KNOWABILITY, AND BELIEF ⋮ Some Formal Semantics for Epistemic Modesty

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On axiomatizations of public announcement logic
• Intuitionistic logic and modality via topology
• Dynamic logics of evidence-based beliefs
• Some results on modal axiomatization and definability for topological spaces
• Multimodal logics of products of topologies
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
• Dynamic epistemic logic
• Characterizations of extremally disconnected spaces
• Nonmonotonic reasoning, preferential models and cumulative logics
• Domain theory in logical form
• Constructivism in mathematics. An introduction. Volume II
• Stability, strength and sensitivity: converting belief into knowledge
• Strong belief and forward induction reasoning.
• Fine-grained opinion, probability, and the logic of full belief
• Topological reasoning and the logic of knowledge
• The topology of full and weak belief
• A Grim semantics for logics of belief
• The algebra of topology
• Justified Belief and the Topology of Evidence
• The Topology of Belief, Belief Revision and Defeasible Knowledge
• Spectral and T 0-Spaces in d-Semantics
• Logical Dynamics of Information and Interaction
• Handbook of Spatial Logics
• On the logic of theory change: Partial meet contraction and revision functions
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• Structures for Epistemic Logic
• Topological Interpretations of Provability Logic
• Derivational Modal Logics with the Difference Modality
• Algebraic postulates and a geometric interpretation for the Lewis calculus of strict implication
• Der Aussagenkalkül und die Topologie
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology