Completeness of S4 for the Lebesgue Measure Algebra

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)
DOI 10.1007/s10992-010-9161-3
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 16,774
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Philip Kremer & Grigori Mints (2005). Dynamic Topological Logic. Annals of Pure and Applied Logic 131 (1-3):133-158.

View all 6 references / Add more references

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

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

20 ( #143,407 of 1,728,009 )

Recent downloads (6 months)

1 ( #354,177 of 1,728,009 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.