A topological approach to full belief
From MaRDI portal
Publication:2421518
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
completenessconditional beliefsepistemic logicaxiomatizationtopological semanticsdoxastic logicupdates(hereditarily) extremally disconnected spaces
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