Zobrazeno 1 - 10
of 73
pro vyhledávání: '"Modal many-valued logics"'
Autor:
Vidal, Amanda
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
Externí odkaz:
http://arxiv.org/abs/2101.08767
Autor:
Vidal, Amanda
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
Externí odkaz:
http://arxiv.org/abs/1904.01407
Autor:
Vidal, Amanda
Publikováno v:
In Fuzzy Sets and Systems 1 March 2021 407:97-114
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Cintula, Petr, Noguera, Carles
Publikováno v:
In Fuzzy Sets and Systems 15 August 2018 345:99-112
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Frame semantics, given by Kripke or neighborhood frames, do not give completeness theorems for all modal logics extending, respectively, K and E. Such shortcoming can be overcome by means of general frames, i.e., frames equipped with a collection of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::554ad63d537d2e30034f83a7a04338ed
http://hdl.handle.net/11365/1200188
http://hdl.handle.net/11365/1200188
Autor:
Amanda Vidal
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bee90cfafa63f5cc606e823aa22b7bfb
Autor:
Petr Cintula, Carles Noguera
Publikováno v:
Fuzzy Sets and Systems
The majority of works on modal many-valued logics consider Kripke-style possible worlds frames as the principal semantics despite their well-known axiomatizability issues when considering non-Boolean accessibility relations. The present work explores
Autor:
Amanda Vidal
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 th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::23fc01ccd8bc62c00d00953a2ba0ce81
http://arxiv.org/abs/1904.01407
http://arxiv.org/abs/1904.01407