Correction to: 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
efficient computation
inference rules
classical logic
epistemic logic
situation calculus
default logic
neural network
natural language
data model
probability distribution
computationally efficient
nonmonotonic logics
dynamic logic