On transitive modal many-valued logics

0522276 - ÚI 2022 RIV NL eng J - Článek v odborném periodiku
Vidal, Amanda
On transitive modal many-valued logics.
Fuzzy Sets and Systems. Roč. 407, 1 March (2021), s. 97-114. ISSN 0165-0114. E-ISSN 1872-6801
Grant CEP: GA ČR GA17-04630S; GA MŠMT(CZ) EF17_050/0008361
GRANT EU: European Commission(XE) 689176 - SYSMICS
Institucionální podpora: RVO:67985807
Klíčová slova: non-classical logics * computability * modal logics
Obor OECD: Pure mathematics
Impakt faktor: 4.462, rok: 2021
Způsob publikování: Omezený přístup
http://dx.doi.org/10.1016/j.fss.2020.01.011

This paper is focused on the study of modal logics defined from valued Kripke frames, and particularly, on computability and expressivity 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 behavior of transitive modal Łukasiewicz 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.
Trvalý link: http://hdl.handle.net/11104/0306795