Sign in

Local is Best: Efficient Reductions to Modal Logic K.

Fabio PapacchiniCláudia NalonUllrich HustadtClare Dixon
Published in: J. Autom. Reason. (2022)
Keyphrases
  • modal logic
  • temporal logic
  • decision procedures
  • inference rules
  • epistemic logic
  • default logic
  • nonmonotonic logics
  • situation calculus
  • efficient computation
  • classical logic
  • dynamic logic