Intuitionistic S4 is decidable

DOI10.1109/LICS56636.2023.10175684MaRDI QIDQ6851678zbMATH OpenFDO

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

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175684

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited in

(7)

• A natural intuitionistic modal logic: axiomatization and bi-nested calculus
• Forward proof search for intuitionistic multimodal K logics
• The flower calculus
• Intuitionistic \textsf{S4} as a logic of topological spaces
• A simple loopcheck for intuitionistic K
• Beyond semantic pollution: towards a practice-based philosophical analysis of labelled calculi
• Intuitionistic epistemic logic with two modal operators

This page was built for publication: Intuitionistic S4 is decidable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851678)