Journal of Philosophical Logic 41 (2):287-316 (2012)
We prove completeness of the propositional modal logic S 4 for the measure algebra based on the Lebesgue-measurable subsets of the unit interval, [0, 1]. In recent talks, Dana Scott introduced a new measure-based semantics for the standard propositional modal language with Boolean connectives and necessity and possibility operators, and . Propositional modal formulae are assigned to Lebesgue-measurable subsets of the real interval [0, 1], modulo sets of measure zero. Equivalence classes of Lebesgue-measurable subsets form a measure algebra, , and we add to this a non-trivial interior operator constructed from the frame of ‘open’ elements—elements in with an open representative. We prove completeness of the modal logic S 4 for the algebra . A corollary to the main result is that non-theorems of S 4 can be falsified at each point in a subset of the real interval [0, 1] of measure arbitrarily close to 1. A second corollary is that Intuitionistic propositional logic (IPC) is complete for the frame of open elements in
|Keywords||Measure algebra Topological modal logic Topological semantics Completeness Modal logic Probabilistic semantics|
|Categories||categorize this paper)|
References found in this work BETA
Dynamic Topological Logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Journal of Symbolic Logic 9 (4):96-97.
Completeness of S4 with Respect to the Real Line: Revisited.Guram Bezhanishvili & Mai Gehrke - 2004 - Annals of Pure and Applied Logic 131 (1):287-301.
A Short Introduction to Intuitionistic Logic.G. E. Mint͡s - 2000 - Kluwer Academic / Plenum Publishers.
Citations of this work BETA
First Order S4 and its Measure-Theoretic Semantics.Tamar Lando - 2015 - Annals of Pure and Applied Logic 166 (2):187-218.
Topological Completeness of Logics Above S4.Guram Bezhanishvili, David Gabelaia & Joel Lucero-Bryan - 2015 - Journal of Symbolic Logic 80 (2):520-566.
Similar books and articles
Powers of the Ideal of Lebesgue Measure Zero Sets.Maxim R. Burke - 1991 - Journal of Symbolic Logic 56 (1):103-107.
The Kunen-Miller Chart (Lebesgue Measure, the Baire Property, Laver Reals and Preservation Theorems for Forcing).Haim Judah & Saharon Shelah - 1990 - Journal of Symbolic Logic 55 (3):909-927.
Mass Problems and Measure-Theoretic Regularity.Stephen G. Simpson - 2009 - Bulletin of Symbolic Logic 15 (4):385-409.
Uniform Almost Everywhere Domination.Peter Cholak, Noam Greenberg & Joseph S. Miller - 2006 - Journal of Symbolic Logic 71 (3):1057 - 1072.
Typicality and the Role of the Lebesgue Measure in Statistical Mechanics.Itamar Pitowsky - 2012 - In Yemima Ben-Menahem & Meir Hemmo (eds.), Probability in Physics. Springer. pp. 41--58.
Truthlikeness for Hypotheses Expressed in Terms of N Quantitative Variables.I. A. Kieseppä - 1996 - Journal of Philosophical Logic 25 (2):109 - 134.
Elementary Definability and Completeness in General and Positive Modal Logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
On Ideals of Subsets of the Plane and on Cohen Reals.Jacek Cichoń & Janusz Pawlikowski - 1986 - Journal of Symbolic Logic 51 (3):560-569.
A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Models for Normal Intuitionistic Modal Logics.Milan Božić & Kosta Došen - 1984 - Studia Logica 43 (3):217 - 245.
Martin's Axioms, Measurability and Equiconsistency Results.Jaime I. Ihoda & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (1):78-94.
Finite Powers of Strong Measure Zero Sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
Modalities in Linear Logic Weaker Than the Exponential “of Course”: Algebraic and Relational Semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.
Added to index2012-03-14
Total downloads26 ( #188,336 of 2,143,791 )
Recent downloads (6 months)3 ( #227,273 of 2,143,791 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.