On transitive modal many-valued logics

DOI10.1016/J.FSS.2020.01.011MaRDI QIDQ2035340zbMATH OpenOpenAlexWikidataFDO

Authors A. Vidal

Publication date 24 June 2021

Published in Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1904.01407

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Abstract: This paper is focused on the study of modal logics defined from valued Kripke frames, and particularly, on computability and expressibility questions of modal logics of transitive Kripke frames evaluated over certain residuated lattices. It is shown that a large family of those logics -- including the ones arising from the standard MV and Product algebras -- yields an undecidable consequence relation. Later on, the behaviour of transitive modal Lukasiewicz logic is compared with that of its non transitive counterpart, exhibiting some particulars concerning computability and equivalence with other logics. We conclude the article by showing the undecidability of the validity and the local SAT questions over transitive models when the Delta operation is added to the logic.

Recommendations

• scientific article; zbMATH DE number 35414
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Products of ‘transitive” modal logics
• scientific article; zbMATH DE number 3857068

Cites work

• A finite model property for Gödel modal logics
• A variant of a recursively unsolvable problem
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Decidability of order-based modal logics
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• Making fuzzy description logic more general
• Metamathematics of fuzzy logic
• Monadic Fragments of Gödel Logics: Decidability and Undecidability Results
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On modal extensions of product fuzzy logic
• On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• On the relationship between fuzzy description logics and many-valued modal logics
• Reasoning within fuzzy description logics
• Residuated lattices. An algebraic glimpse at substructural logics
• Standard Gödel modal logics
• The limits of decidability in fuzzy description logics with general concept inclusions
• Towards a proof theory of Gödel modal logics
• Undecidability of the transitive graded modal logic with converse
• Undecidability results on two-variable logics

Cited in

(8)

• scientific article; zbMATH DE number 3857068 (Why is no real title available?)
• scientific article; zbMATH DE number 1252395 (Why is no real title available?)
• UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS
• Time and Gödel: fuzzy temporal reasoning in PSPACE
• Strong standard completeness theorems for S5-modal Łukasiewicz logics
• Gödel-Dummett linear temporal logic
• Crisp bi-Gödel modal logic and its paraconsistent expansion
• On the local modal product logic: standard completeness and decidability

This page was built for publication: On transitive modal many-valued logics

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