Modal Logic Is More Succinct Iff Bi-Implication Is Available in Some Form.

Christoph Berkholz Dietrich Kuske Christian Schwarz

Published in: STACS (2024)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
epistemic logic
situation calculus
default logic
nonmonotonic logics
conditional logic
explanation based generalization
business intelligence
dynamic logic
description logic alc
expert systems
prime implicates
xml documents