Existence and identity in quantified modal logics.

Richard Routley

Published in: Notre Dame J. Formal Log. (1969)

Keyphrases

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