Completeness for the classical antecedent fragment of inquisitive first-order logic (Q2071575): Difference between revisions

@@ Property / cites work @@
+Q4636287
@@ Property / cites work: Q4636287 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional inquisitive logic: a survey
@@ Property / cites work: Propositional inquisitive logic: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Inquisitive logic
@@ Property / cites work: Inquisitive logic / rank @@
+Normal rank
@@ Property / cites work @@
+Inquisitive Semantics
@@ Property / cites work: Inquisitive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Questions and dependency in intuitionistic logic
@@ Property / cites work: Questions and dependency in intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Disjunction and existence properties in inquisitive first-order logic
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order Inquisitive Pair Logic
@@ Property / cites work: First-Order Inquisitive Pair Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Weak negation in inquisitive semantics
@@ Property / cites work: Weak negation in inquisitive semantics / rank @@
+Normal rank
@@ Property / cites work @@
+SUBSTRUCTURAL INQUISITIVE LOGICS
@@ Property / cites work: SUBSTRUCTURAL INQUISITIVE LOGICS / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic foundations for the semantic treatment of inquisitive content
+Normal rank