An augmented modal logic.

Leonard Goddard

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

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
epistemic logic
nonmonotonic logics
classical logic
conditional logic
situation calculus
default logic
description logic alc
dynamic logic
autoepistemic logic
model checking
database systems
sequent calculus
artificial intelligence