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