Login / Signup
On McKinsey's Syntatical Characterizations of Systems of Modal Logic.
F. R. Drake
Published in:
J. Symb. Log. (1962)
Keyphrases
</>
modal logic
temporal logic
inference rules
expert systems
dynamic logic
artificial intelligence
computer systems
classical logic
nonmonotonic logics
epistemic logic