Predicate Modal Logics Do Not Mix Very Well.

Olivier Gasquet

Published in: Math. Log. Q. (1998)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
epistemic logic
nonmonotonic logics
situation calculus
classical logic
dynamic logic
horn clauses
first order logic
default logic
conditional logic
theorem proving
autoepistemic logic
model checking
cooperative
probabilistic model