Restricted interpolation over modal logic S4 (Q2342101): Difference between revisions

@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Q3714044
@@ Property / cites work: Q3714044 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations in modal and tense logics with applications to problems in philosophy and linguistics
+Normal rank
@@ Property / cites work @@
+Q5824680
@@ Property / cites work: Q5824680 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936636
@@ Property / cites work: Q4936636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5465446
@@ Property / cites work: Q5465446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3012532
@@ Property / cites work: Q3012532 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation in weakly transitive modal logics
@@ Property / cites work: Interpolation in weakly transitive modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable properties of extensions of provability logic. II
+Normal rank
@@ Property / cites work @@
+Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
+Normal rank
@@ Property / cites work @@
+Classification of extensions of the modal logic S4
+Normal rank
@@ Property / cites work @@
+Intuitionistic logic and implicit definability
@@ Property / cites work: Intuitionistic logic and implicit definability / rank @@
+Normal rank
@@ Property / cites work @@
+Problem of restricted interpolation in superintuitionistic and some modal logics
+Normal rank
@@ Property / cites work @@
+Q4430408
@@ Property / cites work: Q4430408 / rank @@
+Normal rank
@@ Property / cites work @@
+A weak form of interpolation in equational logic
@@ Property / cites work: A weak form of interpolation in equational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Weak interpolation in extensions of the logics S4 and K4
+Normal rank
@@ Property / cites work @@
+Projective Beth property in extensions of Grzegorczyk logic
+Normal rank
@@ Property / cites work @@
+An ascending chain of S4 logics
@@ Property / cites work: An ascending chain of S4 logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519127
@@ Property / cites work: Q5519127 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice of normal modal logics
@@ Property / cites work: A lattice of normal modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-level modal logics
@@ Property / cites work: Finite-level modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582306
@@ Property / cites work: Q5582306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4532125
@@ Property / cites work: Q4532125 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in Normal Extensions of S4
@@ Property / cites work: Definability in Normal Extensions of S4 / rank @@
+Normal rank