On the strength and scope of DLS (Q3647241): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.3166/jancl.16.279-296
+Normal rank
@@ Property / OpenAlex ID @@
+W1968397692
@@ Property / OpenAlex ID: W1968397692 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das Eliminationsproblem der mathematischen Logik
+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 @@
+Elementary canonical formulae: extending Sahlqvist's theorem
+Normal rank
@@ Property / cites work @@
+Un-Skolemizing clause sets
@@ Property / cites work: Un-Skolemizing clause sets / rank @@
+Normal rank
@@ Property / cites work @@
+On the Correspondence Between Modal and Classical Logic: an Automated Approach
+Normal rank