Boolean logics with relations

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

zbMATH Keywords

relationsBoolean algebrabisimulationKripke semanticssatisfiabilityspatial reasoningpropositional modal logicclassical first-order logicBoolean semanticsHennessy-Milner theorem

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Related Items (1)

Admissibility and Unifiability in Contact Logics

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