Fibring modal first-order logics: Completeness preservation (0)

by A Sernadas, C Sernadas, A Zanardo
Venue:Logic Journal of the IGPL