Boolean logics with relations

DOI10.1016/J.JLAP.2010.07.012MaRDI QIDQ604451zbMATH OpenOpenAlexFDO

Authors 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 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)

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

Cites work

• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 5117075 (Why is no real title available?)
• scientific article; zbMATH DE number 46852 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (Why is no real title available?)
• scientific article; zbMATH DE number 3508462 (Why is no real title available?)
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• scientific article; zbMATH DE number 2196586 (Why is no real title available?)
• scientific article; zbMATH DE number 3328048 (Why is no real title available?)
• A proximity approach to some region-based theories of space
• A representation theorem for Boolean contact algebras
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Dynamic logics of the region-based theory of discrete spaces
• Modal logic
• Model theory.
• On the complexity of fragments of modal logics
• Qualitative spatial representation and reasoning: An overview
• Region-based theory of discrete spaces: A proximity approach
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic
• The truth about algorithmic problems in correspondence theory

Cited in

(11)

• scientific article; zbMATH DE number 2196588 (Why is no real title available?)
• scientific article; zbMATH DE number 4028949 (Why is no real title available?)
• Admissibility and Unifiability in Contact Logics
• Incorporating the relation into the language? A survey of approaches in relating logic
• Relation algebras with binders
• Definability and canonicity for Boolean logic with a binary relation
• The relevance logic of Boolean groups
• Relational Methods in Computer Science
• scientific article; zbMATH DE number 1808288 (Why is no real title available?)
• scientific article; zbMATH DE number 1828003 (Why is no real title available?)
• scientific article; zbMATH DE number 218546 (Why is no real title available?)

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)