Modal languages and bounded fragments of predicate logic (1998)

by H Andréka, I Németi, J van Benthem
Venue:J. of Philosophical Logic