Modal logics and bounded fragments of predicate logic (1998)

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