Interpolation in infinitely layered extensions of provability logic (Q584241): Difference between revisions

@@ Property / author @@
-Q384402
@@ Property / author: Q384402 / rank @@
-Normal rank
@@ Property / author @@
+Larisa L. Maksimova
@@ Property / author: Larisa L. Maksimova / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875897
@@ Property / cites work: Q3875897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3784045
@@ Property / cites work: Q3784045 / rank @@
+Normal rank
@@ Property / cites work @@
+Pretabular varieties of modal algebras
@@ Property / cites work: Pretabular varieties of modal algebras / rank @@
+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 @@
+Modal tableau calculi and interpolation
@@ Property / cites work: Modal tableau calculi and interpolation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900021
@@ Property / cites work: Q3900021 / rank @@
+Normal rank