Decidability of intuitionistic S4

Girlando, Marianna; Kuznets, Roman; Marin, Sonia; Morales, Marianela; Straßburger, Lutz

doi:10.34726/5418

Record link:

http://hdl.handle.net/20.500.12708/193444
https://doi.org/10.34726/5418

Title:

Citation:

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

reposiTUm DOI:

10.34726/5418

CatalogPlus:

AC17203653

Publication Type:

Inproceedings - Abstract Book Contribution

Language:

English

Authors:

Girlando, Marianna
Kuznets, Roman
Marin, Sonia
Morales, Marianela
Straßburger, Lutz

Organisational Unit:

E191-02 - Forschungsbereich Embedded Computing Systems

Published in:

Logica 2023. Abstracts

Date (published):

2023

Event name:

Logica 2023

Event date:

18-Jun-2023 - 22-Jun-2023

Event place:

Teplá, Czechia

Number of Pages:

Peer reviewed:

Yes

Keywords:

decidability; intuitionistic modal logic; labeled proof systems

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.

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%

Science Branch:

1020 - Informatik: 100%

License:

CC BY 4.0