Logics of Contingency.

Luis Fariñas del Cerro Andreas Herzig

Published in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)

Keyphrases

expressive power
modal logic
inference rules
epistemic logic
propositional dynamic logic
real world
machine learning
optimal solution
classical logic
nonmonotonic logics
conditional logic
truth values
propositional calculus