"Many-Dimensional Modal Logics: Theory and Applications" - читать интересную книгу автора (Dov M. Gabbay)