# Completeness of *S*4 for the Lebesgue Measure Algebra

- First Online:

- Received:
- Accepted:

DOI: 10.1007/s10992-010-9161-3

- Cite this article as:
- Lando, T. J Philos Logic (2012) 41: 287. doi:10.1007/s10992-010-9161-3

## 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, \(\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 *S*4 for the algebra \(\mathcal M\). 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 \(\mathcal M\).

### Keywords

Measure algebraTopological modal logicTopological semantics*S*4CompletenessModal logicProbabilistic semantics