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