Kripke incomplete logics containing KTB (Q995674)

Brouwer's modal logic KTB is well-known as one of the fundamental normal modal logics. However, the observations on the system and its extensions are quite limited in contrast to other similarly well-known systems like T, S4, and so on. This paper is one in a series of the author's works on the system. On the base of Thomason's incompleteness proof with a careful modification of Makinson's recession frame, the author proves that there is a Kripke incomplete normal extension of KTB+Tra(2), and there are uncountably many such logics in the class of normal extensions of KTB+Tra(5), where Tra(\(n\)) is a generalization of the transitivity axiom such that an \(n\)-iterated boxed formula implies that with \(n+1\) (so that the transitivity axiom is Tra(1)). Taking into account that any proper normal extension of S5 (= KTB+Tra(1)) is tabular, these results tell us a drastic change of the situation in the class of normal extensions of KTB+Tra(\(n\)) with \(n > 1\).