with Kowalski, T. , 2009, All splitting logics in the lattice next (KTB), in D. Makinson, J. Malinowski & H. Wansing (eds.), Towards mathematical philosophy, Dordrecht, Springer, pp. 53-67.