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
Permanent Link: https://hdl.handle.net/11104/0335600
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
Permanent Link: https://hdl.handle.net/11104/0335600