Number of the records: 1
Computational Intelligence and Mathematics for Tackling Complex Problems 4
- 1.0563809 - ÚI 2024 RIV CH eng M - Monography Chapter
Diéguez, M. - Fernández-Duque, David
Decidability for S4 Gödel Modal Logics.
Computational Intelligence and Mathematics for Tackling Complex Problems 4. Cham: Springer, 2023 - (Cornejo, M.; Harmati, I.; Koczy, L.; Medina-Moreno, J.), s. 1-7. Studies in Computational Intelligence, 1040. ISBN 978-3-031-07706-7
R&D Projects: GA ČR(CZ) GA22-01137S
Institutional support: RVO:67985807
Keywords : Completeness * Fuzzy logic * Gödel logic * Modal logic
OECD category: Pure mathematics
https://dx.doi.org/10.1007/978-3-031-07707-4_1
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.
Permanent Link: https://hdl.handle.net/11104/0335600
File Download Size Commentary Version Access 0563809-pre.pdf 1 346.3 KB z Researchgate https://www.researchgate.net/publication/363719810_Decidability_for_mathsf_S4_Godel_Modal_Logics Author´s preprint open-access
Number of the records: 1