Interpolation, amalgamation and combination (the non-disjoint signatures case)

DOI10.1007/978-3-319-66167-4_18zbMath1495.03054OpenAlexW2748135832MaRDI QIDQ1687566

Alessandro Gianola, Silvio Ghilardi

Publication date: 4 January 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66167-4_18

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Combined logics (03B62)

Related Items

Modularity results for interpolation, amalgamation and superamalgamation ⋮ SMT-based verification of data-aware processes: a model-theoretic approach ⋮ Interpolation and amalgamation for arrays with MaxDiff ⋮ Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes) ⋮ On Interpolation and Symbol Elimination in Theory Extensions ⋮ Model completeness, covers and superposition ⋮ Combination of uniform interpolants via Beth definability ⋮ Combined covers and Beth definability

This page was built for publication: Interpolation, amalgamation and combination (the non-disjoint signatures case)