A non-preferential semantics of non-monotonic modal logic.

Michael Kaminski

Published in: Ann. Math. Artif. Intell. (2008)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
default logic
epistemic logic
classical logic
conditional logic
autoepistemic logic
explanation based generalization
situation calculus
dynamic logic
database systems
dynamic programming
model checking