Alternating (in)dependence-friendly logic (Q6076360): Difference between revisions

@@ Property / OpenAlex ID @@
+W4384945307
@@ Property / OpenAlex ID: W4384945307 / rank @@
+Normal rank
@@ Property / cites work @@
+Good-for-Game QPTL: An Alternating Hodges Semantics
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and complete problems
@@ Property / cites work: Henkin quantifiers and complete problems / rank @@
+Normal rank
@@ Property / cites work @@
+Q2958518
@@ Property / cites work: Q2958518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215630
@@ Property / cites work: Q4215630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Imperfect Information in Logic and Concurrent Games
+Normal rank
@@ Property / cites work @@
+Finite Partially‐Ordered Quantifiers
@@ Property / cites work: Finite Partially‐Ordered Quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Inclusion and exclusion dependencies in team semantics -- on some logics of imperfect information
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Second Order Logic with First Order Quantifiers
+Normal rank
@@ Property / cites work @@
+Q5732647
@@ Property / cites work: Q5732647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666510
@@ Property / cites work: Q5666510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691485
@@ Property / cites work: Q5691485 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732440
@@ Property / cites work: Q4732440 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for a language of imperfect information
+Normal rank
@@ Property / cites work @@
+Q4362727
@@ Property / cites work: Q4362727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+Team Logic and Second-Order Logic
@@ Property / cites work: Team Logic and Second-Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On definability in dependence logic
@@ Property / cites work: On definability in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the Interpretation of Non-Finitist Proofs--Part I
+Normal rank
@@ Property / cites work @@
+On the interpretation of non-finitist proofs–Part II
+Normal rank
@@ Property / cites work @@
+Q4395559
@@ Property / cites work: Q4395559 / rank @@
+Normal rank
@@ Property / cites work @@
+Expressivity of imperfect information logics without identity
+Normal rank
@@ Property / cites work @@
+A double team semantics for generalized quantifiers
+Normal rank
@@ Property / cites work @@
+Dialogspiele als Semantische Grundlage von Logikkalkülen
+Normal rank
@@ Property / cites work @@
+Q5726697
@@ Property / cites work: Q5726697 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3077957
@@ Property / cites work: Q3077957 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722064
@@ Property / cites work: Q4722064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5844986
@@ Property / cites work: Q5844986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001345
@@ Property / cites work: Q4001345 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5839923
@@ Property / cites work: Q5839923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite partially-ordered quantification
@@ Property / cites work: Finite partially-ordered quantification / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6076360