Counterfactual Conditionals in Quantified Modal Logic.

Naveen Sundar Govindarajulu Selmer Bringsjord

Published in: CoRR (2017)

Keyphrases

modal logic
conditional logic
inference rules
decision procedures
temporal logic
logical framework
classical logic
default logic
epistemic logic
nonmonotonic logics
explanation based generalization
situation calculus
autoepistemic logic
modal operators
cooperative
sequent calculus