Fibring modal first-order logics: completeness preservation (2001)

by A Sernadas, C Sernadas, A Zanardo
Venue:Preprint, Dep. Mathematics, IST