Undecidability and Non-Axiomatizability of Modal Many-Valued Logics

Journal of Symbolic Logic 87 (4):1576-1605 (2022)
  Copy   BIBTEX

Abstract

In this work we study the decidability of a class of global modal logics arising from Kripke frames evaluated over certain residuated lattices, known in the literature as modal many-valued logics. We exhibit a large family of these modal logics which are undecidable, in contrast with classical modal logic and propositional logics defined over the same classes of algebras. This family includes the global modal logics arising from Kripke frames evaluated over the standard Łukasiewicz and Product algebras. We later refine the previous result, and prove that global modal Łukasiewicz and Product logics are not even recursively axiomatizable. We conclude by closing negatively the open question of whether each global modal logic coincides with its local modal logic closed under the unrestricted necessitation rule.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2023-01-08

Downloads
17 (#1,196,561)

6 months
6 (#572,300)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references