Knowledge Theoretic Properties of Topological Spaces

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
14 pages

Keywords

Logic in Computer Science, F.4.1

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/30342

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0007037
 http://arxiv.org/abs/cs/0007037
 In Knowledge Representation and Uncertainty. M. Masuch and L. Polos, Eds. Lecture Notes in Artificial Intelligence, vol. 808, pages 147-159, Springer-Verlag, 1994

Collections

arXiv