paper

Intuitionistic modal logic LIK4 is decidable

arXiv:2512.04687

Abstract

In this note, we prove that intuitionistic modal logic LIK4 is decidable.

Intuitionistic modal logic LIK4 is decidable · wovepaper