Decidability of the interpolation problem and of related properties in tabular logics (Q431717): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B55
@@ Property / Mathematics Subject Classification ID: 03B55 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B53
@@ Property / Mathematics Subject Classification ID: 03B53 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 03B25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C40
@@ Property / Mathematics Subject Classification ID: 03C40 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6051456
@@ Property / zbMATH DE Number: 6051456 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+decidability
@@ Property / zbMATH Keywords: decidability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+tabular logics
@@ Property / zbMATH Keywords: tabular logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interpolation property
@@ Property / zbMATH Keywords: interpolation property / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Beth definability property
@@ Property / zbMATH Keywords: Beth definability property / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Halldén property
@@ Property / zbMATH Keywords: Halldén property / rank @@
+Normal rank

Revision as of 23:03, 29 June 2023