Fibring Modal First-Order Logics: Completeness Preservation

Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo. Fibring Modal First-Order Logics: Completeness Preservation. Logic Journal of the IGPL, 10(4):413-451, 2002. [doi]

Abstract

Abstract is missing.