Boolean logics with relations
From MaRDI portal
Publication:604451
DOI10.1016/j.jlap.2010.07.012zbMath1206.03019OpenAlexW1973124889MaRDI 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
relationsBoolean algebrabisimulationKripke semanticssatisfiabilityspatial reasoningpropositional modal logicclassical first-order logicBoolean semanticsHennessy-Milner theorem
Related Items (1)
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
This page was built for publication: Boolean logics with relations