Learn More
The completeness of the modal logic S4 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 2 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(More)