Undecidability of a Very Simple Modal Logic with Binding.

Guillaume Hoffmann

Published in: CoRR (2015)

Keyphrases

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