Independence friendly logic with classical negation via flattening is a second-order logic with weak dependencies (Q2453581): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2014.04.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2033995545
@@ Property / OpenAlex ID: W2033995545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732440
@@ Property / cites work: Q4732440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691485
@@ Property / cites work: Q5691485 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite Partially‐Ordered Quantifiers
@@ Property / cites work: Finite Partially‐Ordered Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Q4146722
@@ Property / cites work: Q4146722 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of number-theoretic predicates
@@ Property / cites work: Hierarchies of number-theoretic predicates / rank @@
+Normal rank
@@ Property / cites work @@
+On the formal semantics of IF-like logics
@@ Property / cites work: On the formal semantics of IF-like logics / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressive Power of IF-Logic with Classical Negation
+Normal rank
@@ Property / cites work @@
+Equivalence and quantifier rules for logic with imperfect information
+Normal rank
@@ Property / cites work @@
+Q4699335
@@ Property / cites work: Q4699335 / rank @@
+Normal rank
@@ Property / cites work @@
+Independent choices and the interpretation of IF logic
+Normal rank
@@ Property / cites work @@
+Q5755192
@@ Property / cites work: Q5755192 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of informational independence
@@ Property / cites work: On the semantics of informational independence / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395559
@@ Property / cites work: Q4395559 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite partially-ordered quantification
@@ Property / cites work: Finite partially-ordered quantification / rank @@
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and the definability of truth
@@ Property / cites work: Henkin quantifiers and the definability of truth / rank @@
+Normal rank
@@ Property / cites work @@
+IF-logic and truth-definition
@@ Property / cites work: IF-logic and truth-definition / rank @@
+Normal rank
@@ Property / cites work @@
+On generalized quantifiers in arithmetic
@@ Property / cites work: On generalized quantifiers in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank