Knowledge Theoretic Properties of Topological Spaces
classification
💻 cs.LO
keywords
topologicalknowledgemodelsauthorsconjecturedecidabilityfiniteformentioned
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.