Journal of Logic, Language and Information

, Volume 17, Issue 1, pp 19–41

A Hybrid Logic for Reasoning about Knowledge and Topology

Article

DOI: 10.1007/s10849-007-9043-4

Cite this article as:
Heinemann, B. J of Log Lang and Inf (2008) 17: 19. doi:10.1007/s10849-007-9043-4

Abstract

We extend Moss and Parikh’s bi-modal system for knowledge and effort by means of hybrid logic. In this way, some additional concepts from topology related to knowledge can be captured. We prove the soundness and completeness as well as the decidability of the extended system. Special emphasis will be placed on algebras.

Keywords

Topological reasoningThe logic of knowledgeHybrid logicNominalstructure for subset spacesAlgebras of sets

Copyright information

© Springer Science+Business Media B.V. 2007

Authors and Affiliations

  1. 1.Fakultät für Mathematik und InformatikFernUniversität in HagenHagenGermany