The many faces of interpolation (Q1024113): Difference between revisions

@@ Property / author @@
+J. F. A. K. van Benthem
@@ Property / author: J. F. A. K. van Benthem / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-008-9351-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2096617793
@@ Property / OpenAlex ID: W2096617793 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4362725
@@ Property / cites work: Q4362725 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714043
@@ Property / cites work: Q3714043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951952
@@ Property / cites work: Q4951952 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation, preservation, and pebble games
@@ Property / cites work: Interpolation, preservation, and pebble games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824680
@@ Property / cites work: Q5824680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760241
@@ Property / cites work: Q2760241 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Logical questions concerning the <i>μ</i>-calculus: Interpolation, Lyndon and Łoś-Tarski
+Normal rank
@@ Property / cites work @@
+An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilities on finite models
@@ Property / cites work: Probabilities on finite models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5544276
@@ Property / cites work: Q5544276 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4347145
@@ Property / cites work: Q4347145 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of negative definability in modal logic
+Normal rank
@@ Property / cites work @@
+Q4938431
@@ Property / cites work: Q4938431 / rank @@
+Normal rank
@@ Property / cites work @@
+On characterizability in Lω1ω0
@@ Property / cites work: On characterizability in Lω1ω0 / rank @@
+Normal rank
@@ Property / cites work @@
+On Extensions of Elementary Logic
@@ Property / cites work: On Extensions of Elementary Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The metatheory of the classical propositional calculus is not axiomatizable
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q4716271
@@ Property / cites work: Q4716271 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation for extended modal languages
@@ Property / cites work: Interpolation for extended modal languages / rank @@
+Normal rank
@@ Property / cites work @@
+The variety of consequence, according to Bolzano
@@ Property / cites work: The variety of consequence, according to Bolzano / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal predicates, fixed-points, and definability
+Normal rank
@@ Property / cites work @@
+Q3510437
@@ Property / cites work: Q3510437 / rank @@
+Normal rank
@@ Property / cites work @@
+Lindstrom theorems for fragments of first-order logic
+Normal rank
@@ Property / cites work @@
+Q4893140
@@ Property / cites work: Q4893140 / rank @@
+Normal rank