On McKinsey's syntactical characterizations of systems of modal logic

DOI10.2307/2964546zbMath0139.00602OpenAlexW2059310167MaRDI QIDQ5513758

F.R.Drake

Publication date: 1963

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2964546

zbMATH Keywords

mathematical logic

Related Items

Prior, translational semantics, and the Barcan formula, Peirce's contributions to possible-worlds semantics, The genesis of possible worlds semantics

Cites Work

• Extensions of the Lewis system S5
• Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• On the syntactical construction of systems of modal logic