A solution of the decision problem for the Lewis systems \(S2\) and \(S4\), with an application to topology.

DOI10.2307/2267105zbMath67.0974.01OpenAlexW2080823411MaRDI QIDQ6027945

J. C. C. McKinsey

Publication date: 1941

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

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

This page was built for publication: A solution of the decision problem for the Lewis systems \(S2\) and \(S4\), with an application to topology.