Combination of uniform interpolants via Beth definability (Q2090132): Difference between revisions

@@ Property / cites work @@
+Uniform interpolation and propositional quantifiers in modal logics
+Normal rank
@@ Property / cites work @@
+Quantifier-free interpolation in combinations of equality interpolating theories
+Normal rank
@@ Property / cites work @@
+From model completeness to verification of data aware processes
+Normal rank
@@ Property / cites work @@
+Model completeness, covers and superposition
@@ Property / cites work: Model completeness, covers and superposition / rank @@
+Normal rank
@@ Property / cites work @@
+SMT-based verification of data-aware processes: a model-theoretic approach
+Normal rank
@@ Property / cites work @@
+Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q5674430
@@ Property / cites work: Q5674430 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions
+Normal rank
@@ Property / cites work @@
+An algebraic theory of normal forms
@@ Property / cites work: An algebraic theory of normal forms / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic methods in combined constraint satisfiability
+Normal rank
@@ Property / cites work @@
+Interpolation, amalgamation and combination (the non-disjoint signatures case)
+Normal rank
@@ Property / cites work @@
+Modularity results for interpolation, amalgamation and superamalgamation
+Normal rank
@@ Property / cites work @@
+Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
+Normal rank
@@ Property / cites work @@
+MCMT: A Model Checker Modulo Theories
@@ Property / cites work: MCMT: A Model Checker Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+A sheaf representation and duality for finitely presented Heyting algebras
+Normal rank
@@ Property / cites work @@
+Undefinability of propositional quantifiers in the modal system S4
+Normal rank
@@ Property / cites work @@
+Model completions and r-Heyting categories
@@ Property / cites work: Model completions and r-Heyting categories / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves, games, and model completions. A categorical approach to nonclassical propositional logics
+Normal rank
@@ Property / cites work @@
+Q5094130
@@ Property / cites work: Q5094130 / rank @@
+Normal rank
@@ Property / cites work @@
+Cover Algorithms and Their Combination
@@ Property / cites work: Cover Algorithms and Their Combination / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform interpolation and coherence
@@ Property / cites work: Uniform interpolation and coherence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875897
@@ Property / cites work: Q3875897 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation theorems in modal logics. Sufficient conditions
+Normal rank
@@ Property / cites work @@
+Simplification by Cooperating Decision Procedures
@@ Property / cites work: Simplification by Cooperating Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+On invariant synthesis for parametric systems
@@ Property / cites work: On invariant synthesis for parametric systems / rank @@
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694581
@@ Property / cites work: Q4694581 / rank @@
+Normal rank
@@ Property / cites work @@
+On Interpolation and Symbol Elimination in Theory Extensions
+Normal rank
@@ Property / cites work @@
+Q4385439
@@ Property / cites work: Q4385439 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform interpolation and compact congruences
@@ Property / cites work: Uniform interpolation and compact congruences / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893140
@@ Property / cites work: Q4893140 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank