Girlando, M., Kuznets, R., Marin, S., Morales, M., & Straßburger, L. (2023). Decidability of intuitionistic S4. In Logica 2023. Abstracts (pp. 32–33). https://doi.org/10.34726/5418
E191-02 - Forschungsbereich Embedded Computing Systems
-
Erschienen in:
Logica 2023. Abstracts
-
Datum (veröffentlicht):
2023
-
Veranstaltungsname:
Logica 2023
en
Veranstaltungszeitraum:
18-Jun-2023 - 22-Jun-2023
-
Veranstaltungsort:
Teplá, Tschechien
-
Umfang:
2
-
Peer Reviewed:
Ja
-
Keywords:
decidability; intuitionistic modal logic; labeled proof systems
en
Abstract:
We prove the decidability of intuitionistic modal logic S4, which has been open since 1994 by using proof search in labelled sequent calculus augmented with loop-creating capabilities.
en
Projekttitel:
Reasoning about Knowledge in Byzantine Distributed Systems: P 33600-N (FWF - Österr. Wissenschaftsfonds)
-
Projekt (extern):
Marie Skłodowska-Curie Actions (MSCA)
-
Projektnummer:
101064105
-
Forschungsschwerpunkte:
Computer Engineering and Software-Intensive Systems: 100%