Fibring Modal First-Order Logics: Completeness Preservation (2002)

by Amílcar Sernadas , Cristina Sernadas , Alberto Zanardo
Venue:Logic Journal of the IGPL
Citations:12 - 5 self