Many-dimensional modal logics: theory and applications (2003)

by D Gabbay, A Kurucz, F Wolter, M Zakharyaschev
Venue:Studies in Logic