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 Knowledge
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(95)00016-X
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 32,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
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.
On Some Completeness Theorems in Modal Logic.D. Makinson - 1966 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 12 (1):379-384.
Knowledge Theoretic Properties of Topological Spaces.Konstantinos Georgatos - 1994 - In Masuch, Michael & Polos Laszlo (eds.), Knowledge Representation and Uncertainty. Springer Verlag. pp. 147--159.

View all 7 references / Add more references

Citations of this work BETA
Dynamic Logics of Evidence-Based Beliefs.J. Benthem & E. Pacuit - 2011 - Studia Logica 99 (1-3):61-92.
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.

View all 12 citations / Add more citations

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.
Reasoning About Knowledge.Ronald Fagin (ed.) - 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.
Added to PP index
2014-01-16

Total downloads
5 ( #678,665 of 2,235,677 )

Recent downloads (6 months)
1 ( #446,865 of 2,235,677 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature