Manydimensional modal logics: theory and applications (2003)

by Dov M Gabbay, Agnes Kurucz, Frank Wolter, Michael Zakharyaschev
Venue:of Studies in Logic and the Foundations of Mathematics