Beyond Regularity for Presburger Modal Logic.

Facundo Carreiro Stéphane Demri

Published in: Advances in Modal Logic (2012)

Keyphrases

modal logic
decision procedures
temporal logic
presburger arithmetic
inference rules
conditional logic
default logic
classical logic
epistemic logic
nonmonotonic logics
situation calculus
domain knowledge
explanation based generalization
probability theory
modal operators
dynamic logic
prime implicates