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