An incomplete system of modal logic.

George Boolos Giovanni Sambin

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

Keyphrases

modal logic
decision procedures
temporal logic
inference rules
epistemic logic
default logic
nonmonotonic logics
classical logic
situation calculus
conditional logic
dynamic logic
missing data
explanation based generalization
missing values
noisy data
prime implicates