Decidable fragments of first-order modal logics (0)

by F Wolter, M Zakharyaschev
Venue:J. Symb. Log