Lattices of modal logics - Wolter, Frank (1993)