"Many-dimensional modal logics: Theory and applications" - читать интересную книгу автора (A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay)