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

DOI10.2307/2268619zbMATH Open0057.00803OpenAlexW1974296196MaRDI QIDQ5829786FDOQ5829786

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

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

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)