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

DOI10.2307/2268619MaRDI QIDQ5829786zbMATH OpenOpenAlexFDO

Authors

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

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

Cited in

(1)

• On McKinsey's syntactical characterizations of systems of modal logic

This page was built for publication: Improved decision procedures for Lewis's calculus S4 and von Wright's calculus M

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5829786)