Intuitionistic modal logic LIK4 is decidable
Logic in Computer Science
2025-12-05 v1
Abstract
In this note, we prove that intuitionistic modal logic LIK4 is decidable.
Keywords
Cite
@article{arxiv.2512.04687,
title = {Intuitionistic modal logic LIK4 is decidable},
author = {Philippe Balbiani and Çigdem Gencer and Tinko Tinchev},
journal= {arXiv preprint arXiv:2512.04687},
year = {2025}
}
Related papers
View all related →
Logic in Computer Science · Computer Science
Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
Philippe Balbiani, Cigdem Gencer
2025-03-25
Logic in Computer Science · Computer Science
Intuitionistic S4 is decidable
Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales +1
2023-08-01
Logic in Computer Science · Computer Science
Local Intuitionistic Modal Logics and Their Calculi
Philippe Balbiani, Han Gao, Çiğdem Gencer, Nicola Olivetti
2024-03-12
Logic · Mathematics
Deciding some displayable modal logics
Jinsheng Chen
2023-12-27
Logic · Mathematics
Modular Models for Intuitionistic Justification Logic
Michel Marti, Thomas Studer
2016-04-26
Logic · Mathematics
Intuitionistic modal logics: a minimal setting
Philippe Balbiani, Çigdem Gencer
2025-02-27
Logic · Mathematics
Decidability of quantified propositional intuitionistic logic and S4 on trees
Richard Zach
2015-04-21
Logic in Computer Science · Computer Science
Undecidability of the unification and admissibility problems for modal and description logics
Frank Wolter, Michael Zakharyaschev
2007-05-23
Logic · Mathematics
On the Provability Logic of HA
Mojtaba Mojtahedi
2026-01-05
Logic · Mathematics
On decidable extensions of Propositional Dynamic Logic with Converse
Daniel Rogozin, Ilya Shapirovsky
2023-05-30
Logic · Mathematics
Topological Semantics and Decidability
Dmitry Sustretov
2007-06-13
Logic in Computer Science · Computer Science
Modal definability in Euclidean modal logics
Philippe Balbiani, Tinko Tinchev
2025-08-15
Logic in Computer Science · Computer Science
Propositional modal logic with implicit modal quantification
Anantha Padmanabha, R Ramanujam
2019-01-01
Logic · Mathematics
Decidability of Being a Union-splitting
Tenyo Takahashi
2025-10-17
Logic · Mathematics
Residuated Basic Logic II. Interpolation, Decidability and Embedding
Minghui Ma, Zhe Lin
2014-04-30
Logic · Mathematics
Second order intuitionistic propositional logic of the real line is decidable
Konrad Zdanowski
2016-12-22
Logic in Computer Science · Computer Science
Decidability of Quantum Modal Logic
Kenji Tokuo
2026-03-20
Logic · Mathematics
A Decidable Intuitionistic Temporal Logic
Joseph Boudou, Martín Diéguez, David Fernández-Duque
2017-04-11
Logic in Computer Science · Computer Science
A Linear-logical Reconstruction of Intuitionistic Modal Logic S4
Yosuke Fukuda, Akira Yoshimizu
2019-04-25
Logic · Mathematics
Decidability of modal logics of non-$k$-colorable graphs
Ilya Shapirovsky
2023-08-07
Logic · Mathematics
Intuitionistic monotone modal logic via translation
Jim de Groot
2025-07-21
Logic · Mathematics
Undecidability and non-axiomatizability of modal many-valued logics
Amanda Vidal
2022-04-18
Logic in Computer Science · Computer Science
Complete Intuitionistic Temporal Logics in Topological Dynamics
Joseph Boudou, Martín Diéguez, David Fernández-Duque
2019-10-03
Logic in Computer Science · Computer Science
Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
Tim S. Lyon
2026-05-06
Logic in Computer Science · Computer Science
A Simplest Undecidable Modal Logic
Edith Hemaspaandra, Henning Schnoor
2011-05-05