Solving Modal Logic Problems by Translation to Higher-Order Logic.

Alexander Steen Geoff Sutcliffe Tobias Scholl Christoph Benzmüller

Published in: CLAR (2023)

Keyphrases

modal logic
conditional logic
higher order logic
temporal logic

inference rules
higher order
np complete

dynamic logic
machine learning
reinforcement learning

probability distribution
situation calculus
epistemic logic