S4 is Topologically Complete for (0,1): a Short Proof

S4 is Topologically Complete for (0,1): a Short Proof

Ideas of previous constructions are combined into a short proof of topological completeness of modal logic S4 first for rational numbers and after that for real numbers in the interval (0,1).

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Logic journal of the IGPL 2006-01, Vol.14 (1), p.63-71
1. Verfasser: Mints, Grigori
Format: Artikel
Sprache:eng
Schlagworte:
completeness
modal logic
topological models
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Ideas of previous constructions are combined into a short proof of topological completeness of modal logic S4 first for rational numbers and after that for real numbers in the interval (0,1).
ISSN:1367-0751
1368-9894
DOI:10.1093/jigpal/jzk004