Minimal Model Semantics for Nonmonotonic Modal Logics

Grigori Schwarz

Published in: LICS (1992)

Keyphrases

modal logic
nonmonotonic logics
temporal logic
decision procedures
inference rules
autoepistemic logic
classical logic
epistemic logic
default logic
conditional logic
situation calculus
logic programming
knowledge base