Axiomatization of Crisp Gödel Modal Logic
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%3A00525276" target="_blank" >RIV/67985807:_____/21:00525276 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s11225-020-09910-5" target="_blank" >http://dx.doi.org/10.1007/s11225-020-09910-5</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s11225-020-09910-5" target="_blank" >10.1007/s11225-020-09910-5</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Axiomatization of Crisp Gödel Modal Logic
Popis výsledku v původním jazyce
In this paper we consider the modal logic with both [] and <> arising from Kripke models with a crisp accessibility and whose propositions are valued over the standard Gödel algebra [0,1]G. We provide an axiomatic system extending the one from Caicedo and Rodriguez (J Logic Comput 25(1):37–55, 2015) for models with a valued accessibility with Dunn axiom from positive modal logics, and show it is strongly complete with respect to the intended semantics. The axiomatizations of the most usual frame restrictions are given too. We also prove that in the studied logic it is not possible to get ◊ as an abbreviation of [], nor vice-versa, showing that indeed the axiomatic system we present does not coincide with any of the mono-modal fragments previously axiomatized in the literature.
Název v anglickém jazyce
Axiomatization of Crisp Gödel Modal Logic
Popis výsledku anglicky
In this paper we consider the modal logic with both [] and <> arising from Kripke models with a crisp accessibility and whose propositions are valued over the standard Gödel algebra [0,1]G. We provide an axiomatic system extending the one from Caicedo and Rodriguez (J Logic Comput 25(1):37–55, 2015) for models with a valued accessibility with Dunn axiom from positive modal logics, and show it is strongly complete with respect to the intended semantics. The axiomatizations of the most usual frame restrictions are given too. We also prove that in the studied logic it is not possible to get ◊ as an abbreviation of [], nor vice-versa, showing that indeed the axiomatic system we present does not coincide with any of the mono-modal fragments previously axiomatized in the literature.
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
<a href="/cs/project/EF17_050%2F0008361" target="_blank" >EF17_050/0008361: Rozvoj lidských zdrojů pro výzkum v teoretické informatice</a><br>
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
Studia Logica
ISSN
0039-3215
e-ISSN
1572-8730
Svazek periodika
109
Číslo periodika v rámci svazku
2
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
29
Strana od-do
367-395
Kód UT WoS článku
000538968900001
EID výsledku v databázi Scopus
2-s2.0-85086151573