Intuitionistic modal logics: tips and clips
Abstract In this note, by integrating ideas concerning terminating tableaux-based procedures in modal logics and finite frame property of intuitionistic modal logic $\textbf{IK}$, we provide new and simpler decidability proofs for intuitionistic modal logics $\textbf{FIK}$ and $\textbf{LIK}$.
Authors
- Philippe Balbiani (ORCID: https://orcid.org/0000-0002-3569-9160)
- Çiğdem Gencer (ORCID: https://orcid.org/0000-0002-2003-9012)
Institutions
- Centre National de la Recherche Scientifique (FR)
- Université Toulouse III - Paul Sabatier (FR)
- Institut National Polytechnique de Toulouse (FR)
- Université Toulouse-I-Capitole (FR)
- Toulouse Mathematics Institute (FR)
- Institut de Recherche en Informatique de Toulouse (FR)
- Université Toulouse - Jean Jaurès (FR)
- Institut Polytechnique de Bordeaux (FR)
Publication Details
- Journal
- Logic Journal of IGPL
- Published
- 2025-11-20
- DOI
- https://doi.org/10.1093/jigpal/jzaf089
- Primary Topic
- Logic, Reasoning, and Knowledge
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Aix-Marseille Université
- Bulgarian Academy of Sciences
- Xiamen University