Many-dimensional modal logics: Theory and applications (2003)

by D Gabbay, A Kurucz, F Wolter, M Zakharyaschev