Title of article
Completeness of S4 with respect to the real line: revisited
Author/Authors
Bezhanishvili، نويسنده , , Guram and Gehrke، نويسنده , , Mai، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
15
From page
287
To page
301
Abstract
We prove that S4 is complete with respect to Boolean combinations of countable unions of convex subsets of the real line, thus strengthening a 1944 result of McKinsey and Tarski (Ann. of Math. (2) 45 (1944) 141). We also prove that the same result holds for the bimodal system S4+S5+C, which is a strengthening of a 1999 result of Shehtman (J. Appl. Non-Classical Logics 9 (1999) 369).
Keywords
Modal logic , Boolean algebras with operators , Completeness , Topology
Journal title
Annals of Pure and Applied Logic
Serial Year
2005
Journal title
Annals of Pure and Applied Logic
Record number
1443605
Link To Document