Modularity results for interpolation, amalgamation and superamalgamation
From MaRDI portal
Publication:2636527
DOI10.1016/j.apal.2018.04.001zbMath1469.03092OpenAlexW2795842861WikidataQ130027325 ScholiaQ130027325MaRDI QIDQ2636527
Silvio Ghilardi, Alessandro Gianola
Publication date: 5 June 2018
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2434/570431
Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
First-order interpolation derived from propositional interpolation, SMT-based verification of data-aware processes: a model-theoretic approach, Interpolation and amalgamation for arrays with MaxDiff, Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates, Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes), Model completeness, covers and superposition, Combination of uniform interpolants via Beth definability, Combined covers and Beth definability
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model-theoretic methods in combined constraint satisfiability
- Interpolation and the Robinson property for logics not closed under the Boolean operations
- Sentential logics and Maehara interpolation property
- Interpolation theorems in modal logics. Sufficient conditions
- Model theory.
- An algebraic approach to non-classical logics
- Amalgamation properties and interpolation theorems for equational theories
- Interpolation, amalgamation and combination (the non-disjoint signatures case)
- Amalgamation and interpolation in ordered algebras.
- Uniform interpolation and compact congruences
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics
- Amalgamation, congruence-extension, and interpolation properties in algebras
- On Interpolation and Symbol Elimination in Theory Extensions
- From Strong Amalgamability to Modularity of Quantifier-Free Interpolation
- Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator
- Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
- Modal logics withn-ary connectives
- Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
- Interpolation in local theory extensions
- Data Structures with Arithmetic Constraints: A Non-disjoint Combination
- Simplification by Cooperating Decision Procedures
- Combinable Extensions of Abelian Groups
- Automated Deduction – CADE-20
- Quantifier-free interpolation in combinations of equality interpolating theories
- Frontiers of Combining Systems
- Tools and Algorithms for the Construction and Analysis of Systems
- Complete instantiation-based interpolation
