Completeness of S4 for the Lebesgue Measure Algebra

Journal of Philosophical Logic 41 (2):287-316 (2012)
Abstract
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)
DOI 10.1007/s10992-010-9161-3
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,300
Through your library
References found in this work BETA
The Mathematics of Metamathematics.Helena Rasiowa - 1963 - Warszawa, Państwowe Wydawn. Naukowe.
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.

View all 6 references / Add more references

Citations of this work BETA
Dynamic Measure Logic.Tamar Lando - 2012 - Annals of Pure and Applied Logic 163 (12):1719-1737.
First Order S4 and its Measure-Theoretic Semantics.Tamar Lando - 2015 - Annals of Pure and Applied Logic 166 (2):187-218.

Add more citations

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.
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.
Elementary Definability and Completeness in General and Positive Modal Logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Finite Powers of Strong Measure Zero Sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
Added to PP index
2012-03-14

Total downloads
28 ( #187,884 of 2,193,100 )

Recent downloads (6 months)
1 ( #290,277 of 2,193,100 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature