Definability and Canonicity for Boolean Logic with a Binary Relation

DOI10.3233/FI-2014-973zbMath1349.03024OpenAlexW1505479751MaRDI QIDQ5411682

Tinko Tinchev, Philippe Balbiani

Publication date: 25 April 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-973

zbMATH Keywords

modal logicBoolean algebradefinabilitycanonicity

Mathematics Subject Classification ID

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

Related Items (1)

About the unification type of \(\mathbf{K}+\square \square \bot\)

This page was built for publication: Definability and Canonicity for Boolean Logic with a Binary Relation