Undecidability and non-axiomatizability of modal many-valued logics

DOI10.1017/JSL.2022.32arXiv2101.08767MaRDI QIDQ6358754FDOQ6358754

Publication date: 21 January 2021

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 Lukasiewicz and Product algebras. We later refine the previous result, and prove that global modal Lukasiewicz and Product logics are not even recursively axiomatizable. We conclude by solving negatively the open question of whether each global modal logic coincides with its local modal logic closed under the unrestricted necessitation rule.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52)

This page was built for publication: Undecidability and non-axiomatizability of modal many-valued logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6358754)