Interpolation in Extensions of First-Order Logic

Guido Gherardi, Paolo Maffezioli, Eugenio Orlandelli. Interpolation in Extensions of First-Order Logic. Studia Logica, 108(3):619-648, 2020. [doi]

Authors

Guido Gherardi

This author has not been identified. Look up 'Guido Gherardi' in Google

Paolo Maffezioli

This author has not been identified. Look up 'Paolo Maffezioli' in Google

Eugenio Orlandelli

This author has not been identified. Look up 'Eugenio Orlandelli' in Google