A Non-Preferential Semantics of Non-Monotonic Modal Logic.

Michael Kaminski

Published in: ISAIM (2008)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
classical logic
conditional logic
nonmonotonic logics
situation calculus
default logic
relational databases
autoepistemic logic
prime implicates
explanation based generalization
database applications