Boolean Logics with Relations

DOI10.1007/978-3-540-78913-0_3MaRDI QIDQ3498402zbMATH OpenOpenAlexFDO

Authors Philippe Balbiani, Tinko Tinchev

Publication date 15 May 2008

Published in Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78913-0_3

zbMATH Keywords

Boolean algebrafirst-order classical logicpropositional modal logicrelations

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites work

• 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
• 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 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?)
• Model theory.
• On the complexity of fragments of modal logics
• The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic

Cited in

(2)

• scientific article; zbMATH DE number 1808288 (Why is no real title available?)
• The relevance logic of Boolean groups

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