A hybrid logic for reasoning about knowledge and topology

DOI10.1007/s10849-007-9043-4zbMath1202.03030OpenAlexW1991979428MaRDI QIDQ1006488

Bernhard Heinemann

Publication date: 24 March 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-007-9043-4

zbMATH Keywords

hybrid logiclogic of knowledgealgebras of setsnominal structure for subset spacestopological reasoning

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Logic with extra quantifiers and operators (03C80)

Related Items (3)

Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference ⋮ Using hybrid logic for coping with functions in subset spaces ⋮ Observational Effort and Formally Open Mappings

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Knowledge on treelike spaces
• Completeness of certain bimodal logics for subset spaces
• Topological reasoning and the logic of knowledge
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• The Hybrid Logic of Linear Set Spaces
• Algebraic Methodology and Software Technology
• Mathematical Foundations of Computer Science 2005

This page was built for publication: A hybrid logic for reasoning about knowledge and topology