Normal derivability in modal logic.

Published in: Math. Log. Q. (2005)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
classical logic
nonmonotonic logics
conditional logic
situation calculus
dynamic logic
explanation based generalization
cooperative
modal operators
reinforcement learning
data model
sequent calculus