Interpolation in Extensions of First-Order Logic
Crossref DOI link: https://doi.org/10.1007/s11225-019-09867-0
Published Online: 2019-07-06
Published Print: 2020-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gherardi, Guido
Maffezioli, Paolo
Orlandelli, Eugenio
Funding for this research was provided by:
Alexander von Humboldt-Stiftung (3.3-ITA/1190393 STP)
Text and Data Mining valid from 2019-07-06
Version of Record valid from 2019-07-06
Article History
Received: 29 April 2018
First Online: 6 July 2019