Skip to main content
SpringerLink
Log in

Modal Definability Based on Łukasiewicz Validity Relations

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We study two notions of definability for classes of relational structures based on modal extensions of Łukasiewicz finitely-valued logics. The main results of the paper are the equivalent of the Goldblatt-Thomason theorem for these notions of definability.

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. Bell, J. L., Polymodal lattices and polymodal logic, Mathematical Logic Quarterly 42: 219–233.

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

  3. Chang C.C.: Algebraic analysis of many valued logics. Transactions of the American Mathematical Society 88, 467–490 (1958)

    Article  Google Scholar 

  4. Chang C. C., A new proof of the completeness of the Łukasiewicz axioms, Transactions of the American Mathematical Society 93, 74–80 (1959)

    Google Scholar 

  5. Chang, C. C., and H. J. Keisler, Model Theory, 3rd edn., North-Holland, Amsterdam, 1990.

  6. Cignoli, R. L. O., I. M. L. D’Ottaviano, and D. Mundici, Algebraic Foundations of Many-Valued Reasoning, Trends in Logic—Studia Logica Library, vol. 7, Kluwer, Dordrecht, 2000.

  7. Félix B., Esteva F., Godo L., Rodríguez R.O.: On the minimum many-valued modal logic over a finite residuated lattice. Journal of Logic and Computation 21(5), 739–790 (2011)

    Article  Google Scholar 

  8. Gehrke M., Jónsson B.: Bounded distributive lattice expansions. Mathematica Scandinavica 94(1), 13–45 (2004)

    Google Scholar 

  9. Goguadze G., Piazza C., Venema Y.: Simulating polyadic modal Logics by monadic ones. The Journal of Symbolic Logic 68(2), 419–462 (2003)

    Article  Google Scholar 

  10. Goldblatt R.: Varieties of complex algebras. Annals of Pure and Applied Logic 44, 173–242 (1989)

    Article  Google Scholar 

  11. Goldblatt, R., and S. Thomason, Axiomatic classes in propositional modal logic, in Algebra and Logic, Springer, Berlin, 1975, pp. 163–173.

  12. Hansoul, G., and B. Teheux, Completeness results for many-valued Łukasiewicz modal systems and relational semantics, arXiv preprint math/0612542, 2006.

  13. Hansoul G., Teheux B.: Extending Łukasiewicz logics with a modality: algebraic approach to relational semantics. Studia Logica 101(3), 505–545 (2013)

    Article  Google Scholar 

  14. McNaughton R.: A theorem about infinite-valued sentential logic. Journal of Symbolic Logic 16, 1–13 (1951)

    Article  Google Scholar 

  15. Niederkorn P.: Natural dualities for varieties of MV-algebras, I. Journal of Mathematical Analysis and Applications 255(1), 58–73 (2001)

    Article  Google Scholar 

  16. Ostermann P.: Many-valued modal propositional calculi. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34(4), 343–354 (1988)

    Article  Google Scholar 

  17. Teheux, B., Algebraic approach to modal extensions of Łukasiewicz logics, PhD thesis, University of Liège, 2009.

  18. Teheux B.: Propositional dynamic logic for searching games with errors. Journal of Applied Logic 12(4), 377–394 (2014)

    Article  Google Scholar 

  19. van Benthem, J., Modal correspondence theory, PhD thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam, 1976.

  20. van Benthem J.: Canonical modal logics and ultrafilter extensions. The Journal of Symbolic Logic 44(1), 1–8 (1979)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematics Research Unit, FSTC, University of Luxembourg, 6, Rue Coudenhove-Kalergi, 1359, Luxembourg, Luxembourg

    Bruno Teheux

Authors
  1. Bruno Teheux
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bruno Teheux.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Teheux, B. Modal Definability Based on Łukasiewicz Validity Relations. Stud Logica 104, 343–363 (2016). https://doi.org/10.1007/s11225-015-9643-y

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-015-9643-y

Keywords

Search

Navigation