A hybrid logic for reasoning about knowledge and topology
From MaRDI portal
Publication:1006488
DOI10.1007/s10849-007-9043-4zbMath1202.03030MaRDI 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 logic; logic of knowledge; algebras of sets; nominal structure for subset spaces; topological reasoning
03B45: Modal logic (including the logic of norms)
03B42: Logics of knowledge and belief (including belief change)
03C80: Logic with extra quantifiers and operators
Related Items
Using hybrid logic for coping with functions in subset spaces, Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference, Observational Effort and Formally Open Mappings
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item