On transitive modal many-valued logics
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F21%3A00522276" target="_blank" >RIV/67985807:_____/21:00522276 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1016/j.fss.2020.01.011" target="_blank" >http://dx.doi.org/10.1016/j.fss.2020.01.011</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1016/j.fss.2020.01.011" target="_blank" >10.1016/j.fss.2020.01.011</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On transitive modal many-valued logics
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
On transitive modal many-valued logics
Popis výsledku anglicky
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.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2021
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název periodika
Fuzzy Sets and Systems
ISSN
0165-0114
e-ISSN
1872-6801
Svazek periodika
407
Číslo periodika v rámci svazku
1 March
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
18
Strana od-do
97-114
Kód UT WoS článku
000610029500005
EID výsledku v databázi Scopus
2-s2.0-85078828076