Many-dimensional modal logics theory and applications - Gabbay D M; Kurucz A; Wolter F; Zakharyaschev M (Amsterdam Elsevier, 2003)
Keywords: Mathematical logic; Modal logic