Modal logic and truth.

Published in: J. Philos. Log. (1978)

Keyphrases

modal logic
inference rules
temporal logic
truth values
decision procedures
classical logic
epistemic logic
nonmonotonic logics
conditional logic
explanation based generalization
prime implicates
dynamic logic
default logic
machine learning
situation calculus
fixed point
bayesian networks