First-order Non-monotonic Modal Logics.

Michael Kaminski Guy Rey

Published in: Fundam. Informaticae (2000)

Keyphrases

modal logic
conditional logic
decision procedures
temporal logic
inference rules
model theoretic
nonmonotonic logics
epistemic logic
classical logic
higher order
first order logic
default logic
situation calculus
horn clauses
model checking
nonmonotonic reasoning
satisfiability problem
bayesian networks