Knowledge Theoretic Properties of Topological Spaces
Logic in Computer Science
2007-05-23 v1
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.
Cite
@article{arxiv.cs/0007037,
title = {Knowledge Theoretic Properties of Topological Spaces},
author = {Konstantinos Georgatos},
journal= {arXiv preprint arXiv:cs/0007037},
year = {2007}
}
Comments
14 pages