Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras (Q1150603): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4175531
@@ Property / cites work: Q4175531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187817
@@ Property / cites work: Q4187817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Q5641128
@@ Property / cites work: Q5641128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133939
@@ Property / cites work: Q4133939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Certain extensions of modal system S4
@@ Property / cites work: Certain extensions of modal system S4 / rank @@
+Normal rank