A Note on Non-Monotonic Modal Logic.

Robert Stalnaker

Published in: Artif. Intell. (1993)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
classical logic
epistemic logic
situation calculus
default logic
dynamic logic
conditional logic
explanation based generalization
prime implicates
natural language
autoepistemic logic