Decidable modal logic with undecidable admissibility problem (Q2366361)

The admissibility problem for a given logic \(L\) is to determine whether an arbitrary given inference rule \(A_ 1(p_ 1,\dots,p_ n),\dots,A_ m(p_ 1,\dots,p_ n)/B(p_ 1,\dots,p_ n)\) is admissible in \(L\), i.e., for all formulas \(C_ 1,\dots,C_ n\), \(B(C_ 1,\dots,C_ n)\in L\) whenever \(A_ 1(C_ 1,\dots,C_ n)\in L,\dots,A_ m(C_ 1,\dots,C_ n)\in L\). As is known, V. Rybakov proved the decidability of the admissibility problem for a number of intermediate and modal logics. In this paper, the author constructs a decidable normal modal logic for which the admissibility problem is undecidable. The logic is an extension of K4 of width 3 and has infinitely many axioms.