Affordable Access

Publisher Website

A proof of topological completeness forS4 in (0, 1)

Authors
Journal
Annals of Pure and Applied Logic
0168-0072
Publisher
Elsevier
Publication Date
Volume
133
Identifiers
DOI: 10.1016/j.apal.2004.10.010
Disciplines
  • Logic
  • Mathematics

Abstract

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.

There are no comments yet on this publication. Be the first to share your thoughts.

Statistics

Seen <100 times
0 Comments

More articles like this

Luminescence from the Pr3+4f15d1and1S0states in Li...

on Journal of Luminescence Jan 01, 2009

T∗→T′ phase change in Nd1.4Sr0.4Ce0.2CuO4−δ

on Physica C Superconductivity Jan 01, 1989

A topological existence proof forSO(n)-anti-self-d...

on Topology and its Applications Jan 01, 2002
More articles like this..