Failure of interpolation in combined modal logics (Q5937819): Difference between revisions

@@ Property / cites work @@
+Model theory
@@ Property / cites work: Model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Classes without the amalgamation property
@@ Property / cites work: Classes without the amalgamation property / 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 @@
+Logical matrices and the amalgamation property
@@ Property / cites work: Logical matrices and the amalgamation property / rank @@
+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 @@
+Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
+Normal rank
@@ Property / cites work @@
+Products of modal logics, part 1
@@ Property / cites work: Products of modal logics, part 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3835817
@@ Property / cites work: Q3835817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3478385
@@ Property / cites work: Q3478385 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal definability in enriched languages
@@ Property / cites work: Modal definability in enriched languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709888
@@ Property / cites work: Q3709888 / rank @@
+Normal rank
@@ Property / cites work @@
+Interpolation theorems in modal logics. Sufficient conditions
+Normal rank
@@ Property / cites work @@
+Q4250364
@@ Property / cites work: Q4250364 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic
@@ Property / cites work: Multi-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Information systems theoretical foundations
@@ Property / cites work: Information systems theoretical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4729312
@@ Property / cites work: Q4729312 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273484
@@ Property / cites work: Q4273484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the tense logic of dominoes
@@ Property / cites work: A note on the tense logic of dominoes / rank @@
+Normal rank