Weak interpolation in extensions of the logics S4 and K4 (Q431659): Difference between revisions

@@ Property / DOI @@
-.1007/s10469-008-9035-8
@@ Property / DOI: 10.1007/s10469-008-9035-8 / rank @@
-Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and interpolation in non-classical logics
+Normal rank
@@ Property / cites work @@
+Q3875897
@@ Property / cites work: Q3875897 / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable properties of extensions of the logic of provability
+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 @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895321
@@ Property / cites work: Q4895321 / rank @@
+Normal rank
@@ Property / cites work @@
+Pretabular extensions of Lewis S4
@@ Property / cites work: Pretabular extensions of Lewis S4 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic recognition of interpolation in modal calculi
+Normal rank
@@ Property / DOI @@
+.1007/S10469-008-9035-8
@@ Property / DOI: 10.1007/S10469-008-9035-8 / rank @@
+Normal rank