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

DOI10.2307/2267105zbMath0063.03863OpenAlexW2080823411MaRDI QIDQ5844608

J. C. C. MacKinsey

Publication date: 1941

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

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

Related Items

Matching topological and frame products of modal logics, The modal logic of continuous functions on Cantor space, Propositional quantification in the topological semantics for \(\mathbf S4\), QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE, First-order indefinite and uniform neighbourhood semantics, A topological approach to full belief, GENERALIZED TOPOLOGIES AND THEIR RELEVANCE TO GENERAL SYSTEM† Bibliography of Works of the č ech Topological School, A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system, Which modal logic is the right one?, A proof of topological completeness for S4 in \((0,1)\), Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17–19, 1946), By Alfred Tarski, STABLE MODAL LOGICS, On McKinsey's syntactical characterizations of systems of modal logic, A portrait of Alfred Tarski, Strong Completeness of S4 for the Real Line, Modal Logics of Some Hereditarily Irresolvable Spaces, The genesis of possible worlds semantics

Cites Work

• Note on a property of matrices for Lewis and Langford's calculi of propositions