Skip to main content Accessibility help
×
Home

LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA

  • TAMAR LANDO (a1)

Abstract

We study the measure semantics for propositional modal logics, in which formulas are interpreted in the Lebesgue measure algebra ${\cal M}$ , or algebra of Borel subsets of the real interval [0,1] modulo sets of measure zero. It was shown in Lando (2012) and Fernández-Duque (2010) that the propositional modal logic S4 is complete for the Lebesgue measure algebra. The main result of the present paper is that every logic L above S4 is complete for some subalgebra of ${\cal M}$ . Indeed, there is a single model over a subalgebra of ${\cal M}$ in which all nontheorems of L are refuted. This work builds on recent work by Bezhanishvili, Gabelaia, & Lucero-Bryan (2015) on the topological semantics for logics above S4. In Bezhanishvili et al., (2015), it is shown that there are logics above that are not the logic of any subalgebra of the interior algebra over the real line, ${\cal B}$ (ℝ), but that every logic above is the logic of some subalgebra of the interior algebra over the rationals, ${\cal B}$ (ℚ), and the interior algebra over Cantor space, ${\cal B}\left( {\cal C} \right)$ .

Copyright

Corresponding author

*DEPARTMENT OF PHILOSOPHY COLUMBIA UNIVERSITY 708 PHILOSOPHY HALL 1150 AMSTERDAM AVENUE MAIL CODE: 4971 NEW YORK, NY 10027, USA E-mail: tal2108@columbia.edu

References

Hide All
Aiello, M., van Benthem, J., & Bezhanishvili, G. (2003). Reasoning about space the modal way. Journal of Logic and Computation, 13(6), 889920.
Bezhanishvili, G., & Gabelaia, D. (2011). Connected modal logics. Archive for Mathematical Logic, 50, 287317.
Bezhanishvili, G., Gabelaia, D., & Lucero-Bryan, J. (2015). Topological completeness of logics above s4. Journal of Symbolic Logic, 80(2), 520566.
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge: Cambridge University Press.
Blok, W. J. (1976). Varieties of Interior Algebras. Ph.D. Thesis, University of Amsterdam.
Blok, W. J., & Dwinger, P. H. (1975). Equational classes of closure algebras. Archive for Mathematical Logic, 37, 189198.
Chagrov, A., & Zakharyaschev, M. (1997). Modal Logic. Oxford Logic Guides, vol. 35. Oxford: Oxford University Press.
Fernández-Duque, D. (2010). Absolute completeness of s4u for its measure-theoretic semantics. Advances in Modal Logic, 8, 100119.
Givant, S., & Halmos, P. (2009). Introduction to Boolean Algebras. New York: Springer-Verlag.
Lando, T. (2012). Completeness of s4 for the Lebesgue measure algebra. Journal of Philosophical Logic, 41(2), 287316.
Lando, T. (2015). First order s4 and its measure-theoretic semantics. Annals of Pure and Applied Logic, 166(2), 187218.
McKinsey, J. C. C., & Tarski, A. (1944). The algebra of topology. Annals of Mathematics, 45(1), 141191.
Rasiowa, H., & Sikorski, R. (1963). The Mathematics of Metamathematics. Warsaw: Państwowe Wydawnictwo Naukowe.
Royden, H. L., & Fitzpatrick, P. M. (2010). Real Analysis (fourth edition). New Jersey: Prentice Hall.
Scott, D. (2009) Mixing Modality and Probability. Lecture Notes, UC Berkeley, Logic Colloquium, September.

Related content

Powered by UNSILO

LOGICS ABOVE S4 AND THE LEBESGUE MEASURE ALGEBRA

  • TAMAR LANDO (a1)

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.