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

@@ Property / DOI @@
-.1016/j.jal.2012.01.001
@@ Property / DOI: 10.1016/j.jal.2012.01.001 / rank @@
-Normal rank
@@ 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
@@ Property / describes a project that uses @@
+SQEMA
@@ Property / describes a project that uses: SQEMA / 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.1016/j.jal.2012.01.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2043056708
@@ Property / OpenAlex ID: W2043056708 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutational theorem proving for hierarchic first-order theories
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509049
@@ Property / cites work: Q3509049 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
+Normal rank
@@ Property / cites work @@
+Computing circumscription revisited: A reduction algorithm
+Normal rank
@@ Property / cites work @@
+Q3543581
@@ Property / cites work: Q3543581 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and Kleene-Algebraic Methods in Computer Science
+Normal rank
@@ Property / cites work @@
+Elementary canonical formulae: extending Sahlqvist's theorem
+Normal rank
@@ Property / cites work @@
+Q4250040
@@ Property / cites work: Q4250040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4081211
@@ Property / cites work: Q4081211 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Second-Order Quantifier Elimination in Modal Logic
+Normal rank
@@ Property / cites work @@
+The Monotonous Elimination of Predicate Variables
@@ Property / cites work: The Monotonous Elimination of Predicate Variables / rank @@
+Normal rank
@@ Property / cites work @@
+On the Correspondence Between Modal and Classical Logic: an Automated Approach
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2012.01.001
@@ Property / DOI: 10.1016/J.JAL.2012.01.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:420837