Completeness of S4 with respect to the real line: revisited
نویسندگان
چکیده
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). © 2004 Elsevier B.V. All rights reserved. MSC (1991): 03B45; 06E25; 54C10
منابع مشابه
Fractal Completeness Techniques in Topological Modal Logic: Koch Curve, Limit Tree, and the Real Line
This paper explores the connection between fractal geometry and topological modal logic. In the early 1940’s, Tarski showed that the modal logic S4 can be interpreted in topological spaces. Since then, many interesting completeness results in the topological semantics have come to light, and renewed interest in this semantics can be seen in such recent papers as [1], [2], [3], [4], and [7]. In ...
متن کاملStrong completeness of S4 wrt the real line
In the topological semantics for modal logic, S4 is well-known to be complete wrt the rational line and wrt the real line: these are special cases of S4’s completeness wrt any dense-in-itself metric space. The construction used to prove completeness can be slightly amended to show that S4 is not only complete, but strongly complete, wrt the rational line. But no similarly easy amendment is avai...
متن کاملStrong Completeness of S4 for any Dense-in-Itself Metric Space
In the topological semantics for modal logic, S4 is well-known to be complete for the rational line, for the real line, and for Cantor space: these are special cases of S4’s completeness for any dense-in-itself metric space. The construction used to prove completeness can be slightly amended to show that S4 is not only complete, but also strongly complete, for the rational line. But no similarl...
متن کاملTopological completeness of extensions of S4
Perhaps the most celebrated topological completeness result in modal logic is the McKinseyTarski theorem that if we interpret modal diamond as topological closure, then S4 is complete for the real line or indeed any dense-in-itself separable metrizable space [10]. This result was proved before relational semantics for modal logic was introduced. In the last 15 years, utilizing relational semant...
متن کاملA proof of topological completeness for S4 in (0, 1)
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 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 M. Aiello, J. van Benthem, G. Bezhanishvi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 131 شماره
صفحات -
تاریخ انتشار 2005