Algorithmic correspondence and canonicity for distributive modal logic (Q409328): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G10
@@ Property / Mathematics Subject Classification ID: 03G10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D10
@@ Property / Mathematics Subject Classification ID: 06D10 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D50
@@ Property / Mathematics Subject Classification ID: 06D50 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6023582
@@ Property / zbMATH DE Number: 6023582 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Shalqvist correspondence
@@ Property / zbMATH Keywords: Shalqvist correspondence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithmic correspondence
@@ Property / zbMATH Keywords: algorithmic correspondence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+canonicity
@@ Property / zbMATH Keywords: canonicity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+distributive lattice
@@ Property / zbMATH Keywords: distributive lattice / rank @@
+Normal rank

Revision as of 19:12, 29 June 2023