Correction to a Paper on Modal Logic.

Alan Ross Anderson

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

Keyphrases

modal logic
temporal logic
decision procedures
inference rules
nonmonotonic logics
conditional logic
epistemic logic
classical logic
dynamic logic
default logic
error correction
prime implicates
artificial intelligence
cooperative
situation calculus