Extended canonicity of certain topological properties of set spaces

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2850, Issue , 2003, Pages 137-151

  Heinemann, Bernhard ^a  

^a UNIVERSITY OF HAGEN   (Germany)

Author keywords

Canonicity; Modal logic of subset spaces; Rules in modal languages with names; Topological reasoning

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL LINGUISTICS; FORMAL LOGIC; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; KNOWLEDGE ACQUISITION; KNOWLEDGE REPRESENTATION; SEMANTICS; SET THEORY;

CANONICITY; EXPRESSIVE POWER; MODAL LANGUAGE; MODAL LOGIC; TOPOLOGICAL PROPERTIES; TOPOLOGICAL REASONING; UNDERLYING LANGUAGE; MODAL LOGIC OF SUBSET SPACES; RULES IN MODAL LANGUAGES WITH NAMES;

TOPOLOGY;

EID: 9444272295     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-39813-4_9     Document Type: Conference Paper

References (12)

1. Patrick Blackburn. Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto. Logic Journal of the IGPL, 8:339-365, 2000.
2. Patrick Blackburn, Maarten de Rijke, and Yde Venema. Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 2001.
3. Nicolas Bourbaki. General Topology, Part 1. Hermann, Paris, 1966.
4. Andrew Dabrowski, Lawrence S. Moss, and Rohit Parikh. Topological Reasoning and The Logic of Knowledge. Annals of Pure and Applied Logic, 78:73-110, 1996.
5. Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, MA, 1995.
6. Konstantinos Georgatos. Knowledge Theoretic Properties of Topological Spaces. In M. Masuch and L. Pólos, editors, Knowledge Representation and Uncertainty, Logic at Work, volume 808 of Lecture Notes in Computer Science, pages 147-159. Springer, 1994.
7. Konstantinos Georgatos. Knowledge on Treelike Spaces. Studia Logica, 59:271-301, 1997.
8. Bernhard Heinemann. Topological Modal Logics Satisfying Finite Chain Conditions. Notre Dame Journal of Formal Logic, 39(3):406-421, 1998.
9. Bernhard Heinemann. Axiomatizing modal theories of subset spaces (an example of the power of hybrid logic). In HyLo@LICS, 4th Workshop on Hybrid Logic, Proceedings, pages 69-83, Copenhagen, Denmark, July 2002.
10. J.-J. Ch. Meyer and W. van der Hoek. Epistemic Logic for AI and Computer Science, volume 41 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, 1995.
11. Lawrence S. Moss and Rohit Parikh. Topological Reasoning and The Logic of Knowledge. In Y. Moses, editor, Proceedings of the 4th Conference on Theoretical Aspects of Reasoning about Knowledge (TARK 1992), pages 95-105, San Francisco, CA, 1992. Morgan Kaufmann.
12. M. Angela Weiss and Rohit Parikh. Completeness of Certain Bimodal Logics for Subset Spaces. Studia Logica, 71:1-30, 2002.