Local is Best: Efficient Reductions to Modal Logic K.

Fabio Papacchini Cláudia Nalon Ullrich Hustadt Clare 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