Halldén Completeness for Relevant Modal Logics.

Published in: Notre Dame J. Formal Log. (2015)

Keyphrases

modal logic
decision procedures
inference rules
temporal logic
nonmonotonic logics
epistemic logic
classical logic
special case
conditional logic
situation calculus
autoepistemic logic
bayesian networks
cooperative
dynamic logic