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 / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C40
@@ Property / Mathematics Subject Classification ID: 03C40 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6051422
@@ Property / zbMATH DE Number: 6051422 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weak interpolation property
@@ Property / zbMATH Keywords: weak interpolation property / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+amalgamability
@@ Property / zbMATH Keywords: amalgamability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal algebras
@@ Property / zbMATH Keywords: modal algebras / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S10469-008-9035-8
@@ Property / DOI: 10.1007/S10469-008-9035-8 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:431659