Login / Signup
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