Modal logic, fundamentally.

Wesley H. Holliday

Published in: CoRR (2024)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
conditional logic
epistemic logic
classical logic
nonmonotonic logics
default logic
autoepistemic logic
situation calculus
prime implicates
cooperative
logic programs
dynamic logic
explanation based generalization