Knowledge Theoretic Properties of Topological Spaces

Simple item page
dc.creatorGeorgatos, Konstantinos
dc.date2000-07-26
dc.date.accessioned2026-07-07T03:16:24Z
dc.date.available2026-07-07T03:16:24Z
dc.descriptionWe 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.
dc.description14 pages
dc.identifierhttps://arxiv.org/abs/cs/0007037
dc.identifierhttp://arxiv.org/abs/cs/0007037
dc.identifierIn Knowledge Representation and Uncertainty. M. Masuch and L. Polos, Eds. Lecture Notes in Artificial Intelligence, vol. 808, pages 147-159, Springer-Verlag, 1994
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/30342
dc.subjectLogic in Computer Science
dc.subjectF.4.1
dc.titleKnowledge Theoretic Properties of Topological Spaces
dc.typetext

Files

Collections

arXiv