Labelled modal logics: Quantifiers (1998)

by D Basin, S Matthews, L Viganò
Venue:Journal of Logic, Language and Information