Abstract The completeness of the modal logic S 4 for all topological spaces as well as for the real line R , the n -dimensional Euclidean space R n and the segment (0, 1) etc. (with □ interpreted as interior) was proved by McKinsey and Tarski in 1944. Several simplified proofs contain gaps. A new proof presented here combines the ideas published later by G. Mints and M. Aiello, J. van Benthem, G. Bezhanishvili with a further simplification. The proof strategy is to embed a finite rooted Kripke structure K for S 4 into a subspace of the Cantor space which in turn encodes (0, 1). This provides an open and continuous map from (0, 1) onto the topological space corresponding to K . The completeness follows as S4 is complete with respect to the class of all finite rooted Kripke structures.
[1]
Johan van Benthem,et al.
Reasoning About Space: The Modal Way
,
2003,
J. Log. Comput..
[2]
R. Sikorski,et al.
The mathematics of metamathematics
,
1963
.
[3]
G. Mints.
A Short Introduction to Intuitionistic Logic
,
2000
.
[4]
Saul A. Kripke,et al.
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
,
1963
.
[5]
A. Tarski,et al.
The Algebra of Topology
,
1944
.
[6]
J. C. C. McKinsey,et al.
A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology
,
1941,
J. Symb. Log..
[7]
H. Rasiowa,et al.
Logic at work : essays dedicated to the memory of Helena Rasiowa
,
1999
.