Login / Signup
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