The Ackermann approach for modal logic, correspondence theory and second-order reduction (Q420837): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B35
@@ Property / Mathematics Subject Classification ID: 03B35 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C10
@@ Property / Mathematics Subject Classification ID: 03C10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6037802
@@ Property / zbMATH DE Number: 6037802 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modal logic
@@ Property / zbMATH Keywords: modal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+correspondence theory
@@ Property / zbMATH Keywords: correspondence theory / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+second-order quantifier elimination
@@ Property / zbMATH Keywords: second-order quantifier elimination / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Ackermann lemma
@@ Property / zbMATH Keywords: Ackermann lemma / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+substitution method
@@ Property / zbMATH Keywords: substitution method / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+axiom and rule reductions
@@ Property / zbMATH Keywords: axiom and rule reductions / rank @@
+Normal rank

Revision as of 20:38, 29 June 2023