A hybrid logic for reasoning about knowledge and topology
From MaRDI portal
Publication:1006488
DOI10.1007/s10849-007-9043-4zbMath1202.03030OpenAlexW1991979428MaRDI QIDQ1006488
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
hybrid logiclogic of knowledgealgebras of setsnominal structure for subset spacestopological reasoning
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