Decidability for S4 Gödel Modal Logics

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Decidability for S4 Gödel Modal Logics
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/GA22-01137S" target="_blank" >GA22-01137S: Metamathematics of substructural modal logics</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Book/collection name
Computational Intelligence and Mathematics for Tackling Complex Problems 4
ISBN
978-3-031-07706-7
Number of pages of the result
7
Pages from-to
1-7
Number of pages of the book
202
Publisher name
Springer
Place of publication
Cham
UT code for WoS chapter
—

Similar results(10)