Boolean logics with relations

DOI10.1016/J.JLAP.2010.07.012zbMATH Open1206.03019OpenAlexW1973124889MaRDI QIDQ604451FDOQ604451

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

Recommendations

• Definability and canonicity for Boolean logic with a binary relation
• scientific article; zbMATH DE number 218546
• Relational Logics and Their Applications
• A system of relational syllogistic incorporating full Boolean reasoning
• Logics for classes of Boolean monoids

zbMATH Keywords

relationsBoolean algebraclassical first-order logicsatisfiabilitybisimulationKripke semanticsspatial reasoningBoolean semanticsHennessy-Milner theorempropositional modal logic

Mathematics Subject Classification ID

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

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model theory.
• Title not available (Why is that?)
• Qualitative spatial representation and reasoning: An overview
• Region-based theory of discrete spaces: A proximity approach
• A representation theorem for Boolean contact algebras
• Title not available (Why is that?)
• The truth about algorithmic problems in correspondence theory
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Title not available (Why is that?)
• A proximity approach to some region-based theories of space
• Title not available (Why is that?)
• On the complexity of fragments of modal logics
• Title not available (Why is that?)
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• Title not available (Why is that?)
• Dynamic logics of the region-based theory of discrete spaces
• Title not available (Why is that?)

Cited In (8)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Admissibility and Unifiability in Contact Logics
• Relation algebras with binders
• The relevance logic of Boolean groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Boolean logics with relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q604451)