Journal of Logic, Language and Information

, Volume 17, Issue 1, pp 19–41

A Hybrid Logic for Reasoning about Knowledge and Topology


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


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.


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