Thresholds for Certainty and the Modal Logic S3.

Published in: IPMU (1988)

Keyphrases

modal logic
temporal logic
inference rules
decision procedures
nonmonotonic logics
epistemic logic
classical logic
default logic
explanation based generalization
model checking
situation calculus
conditional logic
dynamic logic
prime implicates
possibility theory
modal operators