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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10469-008-9035-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2073035724
@@ Property / OpenAlex ID: W2073035724 / 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