On the Syntactical Construction of Systems of Modal Logic.

J. C. C. McKinsey

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

Keyphrases

modal logic
inference rules
intelligent systems
complex systems
temporal logic
expert systems
computer systems
classical logic
default logic
explanation based generalization
decision procedures
reasoning systems
situation calculus
mathematical models
knowledge based systems
distributed systems
object oriented