Combined covers and Beth definability
From MaRDI portal
Publication:2096445
DOI10.1007/978-3-030-51074-9_11OpenAlexW3040652710MaRDI QIDQ2096445
Silvio Ghilardi, Andrey Rivkin, Alessandro Gianola, Diego Calvanese, Marco Montali
Publication date: 9 November 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-51074-9_11
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model-theoretic methods in combined constraint satisfiability
- Uniform interpolation and propositional quantifiers in modal logics
- Model theory.
- An algebraic theory of normal forms
- Model completions and r-Heyting categories
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Interpolation, amalgamation and combination (the non-disjoint signatures case)
- Uniform interpolation and coherence
- Undefinability of propositional quantifiers in the modal system S4
- From model completeness to verification of data aware processes
- Model completeness, covers and superposition
- On invariant synthesis for parametric systems
- Uniform interpolation and compact congruences
- Modularity results for interpolation, amalgamation and superamalgamation
- On Interpolation and Symbol Elimination in Theory Extensions
- Simplification by Cooperating Decision Procedures
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- A sheaf representation and duality for finitely presented Heyting algebras
- SMT-based verification of data-aware processes: a model-theoretic approach
- Automated Deduction – CADE-20
- Quantifier-free interpolation in combinations of equality interpolating theories
- Cover Algorithms and Their Combination
- MCMT: A Model Checker Modulo Theories
