Boolean logics with relations
From MaRDI portal
Publication:604451
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
relationsBoolean algebraclassical first-order logicsatisfiabilitybisimulationKripke semanticsspatial reasoningBoolean semanticsHennessy-Milner theorempropositional modal logic
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?)
- Title not available (Why is that?)
- 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?)
- Title not available (Why is that?)
- 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 (6)
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)
