Knowledge Theoretic Properties of Topological Spaces
<|reference_start|>Knowledge Theoretic Properties of Topological Spaces: 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.<|reference_end|>
@article{georgatos2000knowledge,
    title={Knowledge Theoretic Properties of Topological Spaces},
    author={Konstantinos Georgatos},
    journal={In Knowledge Representation and Uncertainty. M. Masuch and L.
  Polos, Eds. Lecture Notes in Artificial Intelligence, vol. 808, pages
  147-159, Springer-Verlag, 1994},
    year={2000},
    archivePrefix={arXiv},
    eprint={cs/0007037},
    primaryClass={cs.LO}
}