Craig interpolation in the presence of unreliable connectives (Q2254572): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11787-014-0101-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2014944270
@@ Property / OpenAlex ID: W2014944270 / rank @@
+Normal rank
@@ Property / cites work @@
+Repairing the interpolation theorem in quantified modal logic
+Normal rank
@@ Property / cites work @@
+Q4329232
@@ Property / cites work: Q4329232 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3001092
@@ Property / cites work: Q3001092 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824680
@@ Property / cites work: Q5824680 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in practical formal development
@@ Property / cites work: Interpolation in practical formal development / rank @@
+Normal rank
@@ Property / cites work @@
+On Interpolation in Decision Procedures
@@ Property / cites work: On Interpolation in Decision Procedures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4885912
@@ Property / cites work: Q4885912 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolants, cut elimination and flow graphs for the propositional calculus
+Normal rank
@@ Property / cites work @@
+Interpolation via translations
@@ Property / cites work: Interpolation via translations / rank @@
+Normal rank
@@ Property / cites work @@
+Preservation of Interpolation Features by Fibring
@@ Property / cites work: Preservation of Interpolation Features by Fibring / rank @@
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Sentential logics and Maehara interpolation property
+Normal rank
@@ Property / cites work @@
+Q4249028
@@ Property / cites work: Q4249028 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in non-classical logics
@@ Property / cites work: Interpolation in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+An institution-independent proof of Craig interpolation theorem
+Normal rank
@@ Property / cites work @@
+Harmonious logic: Craig's interpolation theorem and its descendants
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolant-Based Transition Relation Approximation
+Normal rank
@@ Property / cites work @@
+Craig interpolation for networks of sentences
@@ Property / cites work: Craig interpolation for networks of sentences / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation Properties, Beth Definability Properties and Amalgamation Properties for Substructural Logics
+Normal rank
@@ Property / cites work @@
+Properties of independently axiomatizable bimodal logics
+Normal rank
@@ Property / cites work @@
+An interpolation theorem in the predicate calculus
+Normal rank
@@ Property / cites work @@
+Q5736158
@@ Property / cites work: Q5736158 / rank @@
+Normal rank
@@ Property / cites work @@
+Craig interpolation for semilinear substructural logics
+Normal rank
@@ Property / cites work @@
+Model Theory
@@ Property / cites work: Model Theory / rank @@
+Normal rank
@@ Property / cites work @@
+An interpolating theorem prover
@@ Property / cites work: An interpolating theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs
+Normal rank
@@ Property / cites work @@
+\(\Delta\)-core fuzzy logics with propositional quantifiers, quantifier elimination and uniform Craig interpolation
+Normal rank
@@ Property / cites work @@
+Some failures of interpolation in modal logic
@@ Property / cites work: Some failures of interpolation in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate reasoning about logic circuits with single-fan-out unreliable gates
+Normal rank
@@ Property / cites work @@
+On meet-combination of logics
@@ Property / cites work: On meet-combination of logics / rank @@
+Normal rank
@@ Property / cites work @@
+Preservation of Craig interpolation by the product of matrix logics
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
+Normal rank
@@ Property / cites work @@
+Failure of interpolation in relevant logics
@@ Property / cites work: Failure of interpolation in relevant logics / rank @@
+Normal rank