Normal extensions of KTB of codimension 3

James Koussas, Tomasz Kowalski, Yutaka Miyazaki +1

It is known that in the lattice of normal extensions of the logic KTB there are unique logics of codimensions 1 and 2, namely, the logic of a single reflexive point, and the logic…