Decidability for S4 Gödel Modal Logics

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F23%3A00563809" target="_blank" >RIV/67985807:_____/23:00563809 - isvavai.cz</a>
Výsledek na webu
<a href="https://dx.doi.org/10.1007/978-3-031-07707-4_1" target="_blank" >https://dx.doi.org/10.1007/978-3-031-07707-4_1</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-07707-4_1" target="_blank" >10.1007/978-3-031-07707-4_1</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Decidability for S4 Gödel Modal Logics
Popis výsledku v původním jazyce
We introduce semantics for crisp and fuzzy Gödel S4 based on bi-relational frames. We then show that each version of the logic is sound and complete for its respective class of frames and enjoys the finite model property. From this we conclude that both the crisp and fuzzy versions of Gödel S4 are decidable.
Název v anglickém jazyce
Decidability for S4 Gödel Modal Logics
Popis výsledku anglicky
We introduce semantics for crisp and fuzzy Gödel S4 based on bi-relational frames. We then show that each version of the logic is sound and complete for its respective class of frames and enjoys the finite model property. From this we conclude that both the crisp and fuzzy versions of Gödel S4 are decidable.

Projekt
<a href="/cs/project/GA22-01137S" target="_blank" >GA22-01137S: Metamatematika substrukturálních modálních logik</a><br>
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2023
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ů

Název knihy nebo sborníku
Computational Intelligence and Mathematics for Tackling Complex Problems 4
ISBN
978-3-031-07706-7
Počet stran výsledku
7
Strana od-do
1-7
Počet stran knihy
202
Název nakladatele
Springer
Místo vydání
Cham
Kód UT WoS kapitoly
—

Podobné výsledky(10)