Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference
From MaRDI portal
Publication:3455847
DOI10.1007/978-3-642-35722-0_16zbMath1437.03088OpenAlexW2226235891MaRDI QIDQ3455847
Publication date: 11 December 2015
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-35722-0_16
Cites Work
- Unnamed Item
- Unnamed Item
- A hybrid logic for reasoning about knowledge and topology
- Modal languages for topology: expressivity and definability
- Topological model theory
- Model theory.
- Topological reasoning and the logic of knowledge
- Updating knowledge using subsets
- Characterizing Certain Topological Specifications
- Reasoning About Space: The Modal Way
This page was built for publication: Subset Space vs Relational Semantics of Bimodal Logic: Bringing Out the Difference