An Extended Joint Consistency Theorem for a Family of Free Modal Logics with Equality.

Raymond D. Gumb

Published in: J. Symb. Log. (1984)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
epistemic logic
classical logic
default logic
situation calculus
special case
autoepistemic logic
search algorithm
model checking
consistency checking