The Hybrid Logic of Linear Set Spaces

DOI10.1093/jigpal/12.3.181zbMath1057.03015OpenAlexW1968725440MaRDI QIDQ4823801

Bernhard Heinemann

Publication date: 28 October 2004

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/12.3.181

zbMATH Keywords

knowledgecompletenessdecidabilityhybrid logicmodal logic of set spaces

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

A hybrid logic for reasoning about knowledge and topology

This page was built for publication: The Hybrid Logic of Linear Set Spaces