Boolean logics with relations
From MaRDI portal
Publication:604451
DOI10.1016/j.jlap.2010.07.012zbMath1206.03019MaRDI QIDQ604451
Philippe Balbiani, Tinko Tinchev
Publication date: 11 November 2010
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2010.07.012
relations; Boolean algebra; bisimulation; Kripke semantics; satisfiability; spatial reasoning; propositional modal logic; classical first-order logic; Boolean semantics; Hennessy-Milner theorem
Cites Work
- Model theory.
- Boolean connection algebras: A new approach to the Region-Connection Calculus
- The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
- Region-based theory of discrete spaces: A proximity approach
- A representation theorem for Boolean contact algebras
- Dynamic logics of the region-based theory of discrete spaces
- A Proximity Approach to Some Region-Based Theories of Space
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item