"Many-Dimensional Modal Logics: Theory and Applications (Studies in Logic and the Foundations of Mathematics)" - читать интересную книгу автора (D.M. Gabbay, A. Kurucz, F. Wolter, M. Zakharyaschev)