In this paper, we study the conditions under which existence of interpolants (for quantifier-free formulae) is modular, in the sense that it can be transferred from two first-order theories T1, T2 to their combination T1 ∪ T2. We generalize to the non-disjoint signatures case the results from [3]. As a surprising application, we relate the Horn combinability criterion of this paper to superamalgamability conditions known from propositional logic and we use this fact to derive old and new results concerning fusions transfer of interpolation properties in modal logic.
CITATION STYLE
Ghilardi, S., & Gianola, A. (2017). Interpolation, amalgamation and combination (the non-disjoint signatures case). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10483 LNAI, pp. 316–332). Springer Verlag. https://doi.org/10.1007/978-3-319-66167-4_18
Mendeley helps you to discover research relevant for your work.