A note on three-valued modal logic.

Jorgen B. Jensen Peter F. Larsen Edwin J. MacLellan Peter K. Schotch

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

Keyphrases

model checking
modal logic
temporal logic
nonmonotonic logics
inference rules
epistemic logic
decision procedures
default logic
situation calculus
classical logic
conditional logic
autoepistemic logic
dynamic logic
machine learning
logical framework
prime implicates