Systems of Modal Logic Which are Not Unreasonable in the Sense of Hallden.

J. C. C. McKinsey

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

Keyphrases

modal logic
intelligent systems
temporal logic
classical logic
conditional logic
expert systems
management system
distributed systems
situation calculus
epistemic logic
complex systems
retrieval systems
inference rules
nonmonotonic logics