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
-
Published in:
Logica 2023. Abstracts
-
Date (published):
2023
-
Event name:
Logica 2023
en
Event date:
18-Jun-2023 - 22-Jun-2023
-
Event place:
Teplá, Czechia
-
Number of Pages:
2
-
Peer reviewed:
Yes
-
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
Project title:
Reasoning about Knowledge in Byzantine Distributed Systems: P 33600-N (FWF - Österr. Wissenschaftsfonds)
-
Project (external):
Marie Skłodowska-Curie Actions (MSCA)
-
Project ID:
101064105
-
Research Areas:
Computer Engineering and Software-Intensive Systems: 100%