Skip to main content
SpringerLink
Log in

The d-Logic of the Rational Numbers: A Fruitful Construction

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We present a geometric construction that yields completeness results for modal logics including K4, KD4, GL and GL n with respect to certain subspaces of the rational numbers. These completeness results are extended to the bimodal case with the universal modality.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abashidze, M., Algebraic Analysis of the Gödel-Löb Modal System, Ph.D. thesis, Tbilisi State University, 1987. In Russian.

  2. Bezhanishvili G., Esakia L.L., Gabelaia D.: ‘Some results on modal axiomatization and definability for topological spaces’. Studia Logica 81(3), 325–355 (2005)

    Article  Google Scholar 

  3. Bezhanishvili G., Esakia L.L., Gabelaia D.: ‘The modal logic of Stone spaces: diamond as derivative’. The Review of Symbolic Logic 3(1), 26–40 (2010)

    Article  Google Scholar 

  4. Bezhanishvili G., Morandi P.: ‘Scattered and hereditarily irresolvable spaces in modal logic’. Arch. Math. Logic 49(3), 343–365 (2010)

    Article  Google Scholar 

  5. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, Cambridge, 2001.

  6. Blass A.: ‘Infinitary combinatorics and modal logic’. J. Symbolic Logic 55(2), 761–778 (1990)

    Article  Google Scholar 

  7. Chagrov, A., and M. Zakharyaschev, Modal Logic, vol. 35 of Oxford Logic Guides, The Clarendon Press Oxford University Press, New York, 1997.

  8. Engelking R.: General Topology; revised and completed edition. Heldermann, Berlin (1989)

    Google Scholar 

  9. Esakia, L. L., ‘Diagonal constructions, Löb’s formula, and Cantor’s scattered spaces’, in Studies in Logic and Semantics, “Metsniereba”, Tbilisi, 1981, pp. 128– 143. In Russian.

  10. Esakia L.L.: ‘Intuitionistic logic and modality via topology’. Ann. Pure Appl. Logic 127(1-3), 155–170 (2004)

    Article  Google Scholar 

  11. Gabbay D.M.: ‘Tense systems with discrete moments of time, Part I’. J. Philos. Logic 1(1), 35–44 (1972)

    Article  Google Scholar 

  12. Goranko V., Passy S.: ‘Using the universal modality: gains and questions’. J. Logic Comput. 2(1), 5–30 (1992)

    Article  Google Scholar 

  13. Kuratowski, K., and A. Mostowski, Set Theory, 2nd ed., vol. 86 of Studies in Logic and the Foundations of Mathematics, North-Holland, 1976.

  14. McKinsey J.C.C., Tarski A.: ‘The algebra of topology’. Ann. of Math. (2) 45, 141–191 (1944)

    Article  Google Scholar 

  15. Shehtman, V., ‘Derived sets in Euclidean spaces and modal logic’, Tech. Rep. X-1990-05, Univ. of Amsterdam, 1990.

  16. Shehtman V.: ‘“Everywhere” and “here”’. J. Appl. Non-Classical Logics 9(2-3), 369–379 (1999)

    Google Scholar 

  17. van Benthem, J., and G. Bezhanishvili, ‘Modal logics of space’, in Handbook of Spatial Logics, Springer, Dordrecht, 2007, pp. 217–298.

Download references

Author information

Authors and Affiliations

  1. Department of Mathematical Sciences, New Mexico State University, P.O. Box 30001, Department 3MB, Las Cruces, 88003-8001, USA

    Joel Lucero-Bryan

Authors
  1. Joel Lucero-Bryan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Joel Lucero-Bryan.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lucero-Bryan, J. The d-Logic of the Rational Numbers: A Fruitful Construction. Stud Logica 97, 265–295 (2011). https://doi.org/10.1007/s11225-011-9305-7

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-011-9305-7

Keywords

Search

Navigation