Combination of uniform interpolants via Beth definability
From MaRDI portal
Publication:2090132
Recommendations
- Combined covers and Beth definability
- Interpolation, amalgamation and combination (the non-disjoint signatures case)
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
- Cover Algorithms and Their Combination
- Quantifier-free interpolation in combinations of equality interpolating theories
Cites work
- A sheaf representation and duality for finitely presented Heyting algebras
- An algebraic theory of normal forms
- Automated Deduction – CADE-20
- Backward reachability of array-based systems by SMT solving: termination and invariant synthesis
- Cover Algorithms and Their Combination
- From model completeness to verification of data aware processes
- scientific article; zbMATH DE number 3679781 (Why is no real title available?)
- scientific article; zbMATH DE number 3485746 (Why is no real title available?)
- scientific article; zbMATH DE number 1140674 (Why is no real title available?)
- scientific article; zbMATH DE number 219032 (Why is no real title available?)
- scientific article; zbMATH DE number 922620 (Why is no real title available?)
- scientific article; zbMATH DE number 3408928 (Why is no real title available?)
- Interpolation theorems in modal logics. Sufficient conditions
- Interpolation, amalgamation and combination (the non-disjoint signatures case)
- Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
- MCMT: a model checker modulo theories
- Model completeness, covers and superposition
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
- Model completions and r-Heyting categories
- Model theory.
- Model-theoretic methods in combined constraint satisfiability
- Modularity results for interpolation, amalgamation and superamalgamation
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- On invariant synthesis for parametric systems
- Quantifier-free interpolation in combinations of equality interpolating theories
- Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
- Simplification by Cooperating Decision Procedures
- SMT-based verification of data-aware processes: a model-theoretic approach
- Soundness verification of data-aware process models with variable-to-variable conditions
- Undefinability of propositional quantifiers in the modal system S4
- Uniform interpolants in \(\mathcal{EUF}\): algorithms using DAG-representations
- Uniform interpolation and coherence
- Uniform interpolation and compact congruences
- Uniform interpolation and propositional quantifiers in modal logics
Cited in
(5)- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
- Combined covers and Beth definability
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions
- On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$
- On symbol elimination and uniform interpolation in theory extensions
This page was built for publication: Combination of uniform interpolants via Beth definability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2090132)
