An ambiguity in modal logic.

John Williamson

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

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
classical logic
epistemic logic
situation calculus
nonmonotonic logics
default logic
explanation based generalization
autoepistemic logic
modal operators
prime implicates
database design
model checking
conditional logic