Knowledge Theoretic Properties of Topological Spaces

2000/07/26 by Konstantinos Georgatos
Computer Science · #cs.LO

paper · pdf

published as In Knowledge Representation and Uncertainty. M. Masuch and L. Polos, Eds. Lecture Notes in Artificial Intelligence, vol. 808, pages 147-159, Springer-Verlag, 1994 · 14 pages

arxiv created 2000/07/26 · arxiv updated 2009/11/30

Abstract

We study the topological models of a logic of knowledge for topological reasoning, introduced by Larry Moss and Rohit Parikh. Among our results is a solution of a conjecture by the formentioned authors, finite satisfiability property and decidability for the theory of topological models.

Related

• A Completeness Theorem for Topological Doctrines
• Topological Completeness for Higher-Order Logic
• A Topological Representation of Semantics of First-order Logic and Its Application as a Method in Model Theory
• Topological interpretations of provability logic
• The language of pre-topology in knowledge spaces