Journal of Philosophical Logic

, Volume 41, Issue 2, pp 287–316

Completeness of S4 for the Lebesgue Measure Algebra

Article

Abstract

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\).

Keywords

Measure algebra Topological modal logic Topological semantics SCompleteness Modal logic Probabilistic semantics 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Bezhanishvili, G., & Gehrke, M. (2005). Completeness of S4 with respect to the real line: Revisited. Annals of Pure and Applied Logic, 131(1–3), 287–301.CrossRefGoogle Scholar
  2. 2.
    Halmos, P. (1959). Boolean algebras. New York: Stevens & Co.Google Scholar
  3. 3.
    Kremer, P., & Mints, G. (2005). Dynamic topological logic. Annals of Pure and Applied Logic, 131(1–3), 133–158.CrossRefGoogle Scholar
  4. 4.
    Lando, T., & Sarenac, D. (2011). Fractal completeness techniques in topological modal logic (forthcoming).Google Scholar
  5. 5.
    McKinsey, J. C. C., & Tarski, A. (1944). The algebra of topology. Annals of Mathematics, 45(1), 141–191.CrossRefGoogle Scholar
  6. 6.
    Mints, G. (2000). A short introduction to intuitionistic logic. New York: Kluwer Academic/Plenum Publishers.Google Scholar
  7. 7.
    Oxtoby, J. (1970). Homeomorphic measures in metric spaces. Proceedings of the American Mathematical Society, 24(3), 419–423.CrossRefGoogle Scholar
  8. 8.
    Rasiowa, H., & Sikorski, R. (1963). The mathematics of metamathematics. Warsaw, Poland: Panstwowe Wydawnictowo Naukowe.Google Scholar
  9. 9.
    Scott, D. (2009). Mixing modality and probability. Lecture notes.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Department of PhilosophyUniversity of California, BerkeleyBerkeleyUSA

Personalised recommendations