Interpolation in Extensions of First-Order Logic
Gherardi, Guido, Maffezioli, Paolo, Orlandelli, EugenioLanguage:
english
Journal:
Studia Logica
DOI:
10.1007/s11225-019-09867-0
Date:
July, 2019
File:
PDF, 465 KB
english, 2019