Logics for Two Fragments beyond the Syllogistic Boundary (Q3586020): Difference between revisions

@@ Property / cites work @@
+Essays in logical semantics
@@ Property / cites work: Essays in logical semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-Theoretic Semantics for a Natural Language Fragment
+Normal rank
@@ Property / cites work @@
+On the Decision Problem for Two-Variable First-Order Logic
+Normal rank
@@ Property / cites work @@
+Undecidability results on two-variable logics
@@ Property / cites work: Undecidability results on two-variable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430407
@@ Property / cites work: Q4430407 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural language syntax and first-order inference
@@ Property / cites work: Natural language syntax and first-order inference / rank @@
+Normal rank
@@ Property / cites work @@
+On languages with two variables
@@ Property / cites work: On languages with two variables / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief History of Natural Deduction
@@ Property / cites work: A Brief History of Natural Deduction / rank @@
+Normal rank
@@ Property / cites work @@
+A two-variable fragment of English
@@ Property / cites work: A two-variable fragment of English / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of language
@@ Property / cites work: Fragments of language / rank @@
+Normal rank
@@ Property / cites work @@
+LOGICS FOR THE RELATIONAL SYLLOGISTIC
@@ Property / cites work: LOGICS FOR THE RELATIONAL SYLLOGISTIC / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank