The Modal Logic of Agreement and Noncontingency.

Lloyd Humberstone

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

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
default logic
situation calculus
epistemic logic
classical logic
conditional logic
nonmonotonic logics
prime implicates
explanation based generalization
machine learning
co occurrence
dynamic logic