On the interpolation property of some intuitionistic modal logics (Q1913298): Difference between revisions

@@ Property / cites work @@
+Q3358708
@@ Property / cites work: Q3358708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3882504
@@ Property / cites work: Q3882504 / rank @@
+Normal rank
@@ Property / cites work @@
+Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
+Normal rank
@@ Property / cites work @@
+Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
+Normal rank
@@ Property / cites work @@
+On some intuitionistic modal logics
@@ Property / cites work: On some intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01268617
+Normal rank
@@ Property / OpenAlex ID @@
+W2086027756
@@ Property / OpenAlex ID: W2086027756 / rank @@
+Normal rank