Topological reasoning and the logic of knowledge
Annals of Pure and Applied Logic 78 (1-3):73-110 (1996)
Abstract
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logic is in subset spaces , and we obtain complete axiomatizations for the sentences which hold in these interpretations. In addition, we axiomatize the validities of the smaller class of topological spaces in a system we call topologic . We also prove decidability for these two systems. Our results on topologic relate early work of McKinsey on topological interpretations of S4 with recent work of Georgatos on topologic. Some of the results of this paper were presented at the 1992 conference on Theoretical Aspects of Reasoning about KnowledgeAuthor's Profile
DOI
10.1016/0168-0072(95)00016-x
My notes
Similar books and articles
A hybrid logic for reasoning about knowledge and topology.Bernhard Heinemann - 2008 - Journal of Logic, Language and Information 17 (1):19-41.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
A Note on Logics of Ignorance and Borders.Christopher Steinsvold - 2008 - Notre Dame Journal of Formal Logic 49 (4):385-392.
Dynamic Topological Logic Interpreted over Minimal Systems.David Fernández-Duque - 2011 - Journal of Philosophical Logic 40 (6):767-804.
Review: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, Reasoning about Knowledge. [REVIEW]Rohit Parikh - 1997 - Journal of Symbolic Logic 62 (4):1484-1487.
A sound and complete axiomatization for Dynamic Topological Logic.David Fernández-Duque - 2012 - Journal of Symbolic Logic 77 (3):947-969.
Some topological properties of paraconsistent models.Can Başkent - 2013 - Synthese 190 (18):4023-4040.
Reasoning About Knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 1995 - MIT Press.
Updating knowledge using subsets.Konstantinos Georgatos - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):427-441.
Homeomorphism and the Equivalence of Logical Systems.Stephen Pollard - 1998 - Notre Dame Journal of Formal Logic 39 (3):422-435.
Analytics
Added to PP
2014-01-16
Downloads
25 (#465,850)
6 months
1 (#451,971)
2014-01-16
Downloads
25 (#465,850)
6 months
1 (#451,971)
Historical graph of downloads
Author's Profile
Citations of this work
Dynamic logics of evidence-based beliefs.Johan van Benthem & Eric Pacuit - 2011 - Studia Logica 99 (1-3):61-92.
The Logic of Framing Effects.Francesco Berto & Aybüke Özgün - 2023 - Journal of Philosophical Logic 1:1-24.
Logic and topology for knowledge, knowability, and belief.Adam Bjorndahl & Aybüke Özgün - 2020 - Review of Symbolic Logic 13 (4):748-775.
A Topological Approach to Full Belief.Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün & Sonja Smets - 2019 - Journal of Philosophical Logic 48 (2):205-244.
References found in this work
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Mathematical Logic Quarterly 12 (1):379-384.
A solution of the decision problem for the Lewis systems s2 and s4, with an application to topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.
Topological reasoning and the logic of knowledge.Andrew Dabrowski, Lawrence S. Moss & Rohit Parikh - 1996 - Annals of Pure and Applied Logic 78 (1-3):73-110.
Knowledge Theoretic Properties of Topological Spaces.Konstantinos Georgatos - 1994 - In Masuch, Michael & Polos Laszlo (eds.), Knowledge Representation and Uncertainty. Springer Verlag. pp. 147--159.