Login / Signup
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