Completeness of S4 for the Lebesgue Measure Algebra
- First Online:
- 94 Downloads
We prove completeness of the propositional modal logic S4 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, \(\Box\) and \(\Diamond\). 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, \(\mathcal M\), and we add to this a non-trivial interior operator constructed from the frame of ‘open’ elements—elements in \(\mathcal M\) with an open representative. We prove completeness of the modal logic S4 for the algebra \(\mathcal M\). A corollary to the main result is that non-theorems of S4 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 \(\mathcal M\).
KeywordsMeasure algebra Topological modal logic Topological semantics S4 Completeness Modal logic Probabilistic semantics
Unable to display preview. Download preview PDF.
- 2.Halmos, P. (1959). Boolean algebras. New York: Stevens & Co.Google Scholar
- 4.Lando, T., & Sarenac, D. (2011). Fractal completeness techniques in topological modal logic (forthcoming).Google Scholar
- 6.Mints, G. (2000). A short introduction to intuitionistic logic. New York: Kluwer Academic/Plenum Publishers.Google Scholar
- 8.Rasiowa, H., & Sikorski, R. (1963). The mathematics of metamathematics. Warsaw, Poland: Panstwowe Wydawnictowo Naukowe.Google Scholar
- 9.Scott, D. (2009). Mixing modality and probability. Lecture notes.Google Scholar