Basic Modal Logic.

John L. Pollock

Published in: J. Symb. Log. (1967)

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
classical logic
default logic
epistemic logic
nonmonotonic logics
conditional logic
prime implicates
dynamic logic
situation calculus
explanation based generalization
database systems
sequent calculus
incomplete information
case based reasoning