All splitting logics in the lattice next (KTB)
pp. 53-67
in: David Makinson, Jacek Malinowski, Heinrich Wansing (eds), Towards mathematical philosophy, Berlin, Springer, 2009Abstrakt
It is proved that there are only two logics that split the lattice Next(KTB). The proof is based on the general splitting theorem by Kracht and conducted by a graph theoretic argument.