Logics for multi-subset spaces

Journal of Applied Non-Classical Logics 20 (3):219-240 (2010)
  Copy   BIBTEX


We generalize Moss and Parikh's logic of knowledge, effort, and topological reasoning, in two ways. We develop both a multi-agent and a multi-method setting for it. In each of these cases, we prove a corresponding soundness and completeness theorem, and we show that the new logics are decidable. Our methods of proof rely on those for the original system. This might have been expected, since that system is conservatively extended for the given situation. Several technical details are different nevertheless here.



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Updating knowledge using subsets.Konstantinos Georgatos - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):427-441.
Topological Modal Logics Satisfying Finite Chain Conditions.Bernhard Heinemann - 1998 - Notre Dame Journal of Formal Logic 39 (3):406-421.
Term-modal logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
CWA Extensions to Multi-Valued Logics.Jinzhao Wu - 2003 - Journal of Applied Non-Classical Logics 13 (2):133-164.
More on d-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
Theory of completeness for logical spaces.Kensaku Gomi - 2009 - Logica Universalis 3 (2):243-291.


Added to PP

16 (#912,083)

6 months
5 (#648,401)

Historical graph of downloads
How can I increase my downloads?

References found in this work

The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
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.
Modal Logics for Topological Spaces.Konstantinos Georgatos - 1993 - Dissertation, City University of New York
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 8 references / Add more references