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