A hybrid logic for reasoning about knowledge and topology

Journal of Logic, Language and Information 17 (1):19-41 (2008)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
38 (#363,694)

6 months
2 (#658,980)

Historical graph of downloads
How can I increase my downloads?