Topological reasoning and the logic of knowledge
TARK '92 Proceedings of the fourth conference on Theoretical aspects of reasoning about knowledge
Modal logic
Knowledge Theoretic Properties of Topological Spaces
International Conference Logic at Work on Knowledge Representation and Reasoning Under Uncertainty, Logic at Work
Observational Effort and Formally Open Mappings
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
| Hi-index | 0.00 |
The present paper is about a framework of formal topological reasoning originating from the fundamental work of Moss and Parikh relating to this. We add a set of unary operators involving sets to that system. This new means of expression gives us considerably more expressive power with regard to spatial operations, but the accompanying logic remains sound and semantically complete with respect to the class of all subset spaces that are enriched accordingly. Moreover, the new logic turns out to be decidable. We prove these results by relying heavily on a particular extension of the common modal formalism, viz hybrid logic.