The decision problem for combined modal logics - Wolter, Frank (Shaker, 2000)
Zugl.: Leipzig, Univ., Habil.-Schr., 2000