Modal languages and bounded fragments of predicate logic,” (1998)

by H Andreka, J van Benthem, I Nemeti
Venue:Journal of Philosophical Logic,