Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M

DOI10.2307/2268619zbMath0057.00803OpenAlexW1974296196MaRDI QIDQ5829786

No author found.

Publication date: 1954

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

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

zbMATH Keywords

Foundations of mathematics

Related Items

On McKinsey's syntactical characterizations of systems of modal logic

Cites Work

• An essay in modal logic
• Modalities in the Survey system of strict implication
• Some theorems about the sentential calculi of Lewis and Heyting