Model-checking games for logics of imperfect information (Q391101): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B60
@@ Property / Mathematics Subject Classification ID: 03B60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A80
@@ Property / Mathematics Subject Classification ID: 91A80 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6244018
@@ Property / zbMATH DE Number: 6244018 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model-checking games
@@ Property / zbMATH Keywords: model-checking games / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dependence logic
@@ Property / zbMATH Keywords: dependence logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+independence logic
@@ Property / zbMATH Keywords: independence logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+team semantics
@@ Property / zbMATH Keywords: team semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+second-order reachability games
@@ Property / zbMATH Keywords: second-order reachability games / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+complexity
@@ Property / zbMATH Keywords: complexity / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2012.10.033
+Normal rank
@@ Property / OpenAlex ID @@
+W2169393469
@@ Property / OpenAlex ID: W2169393469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and complete problems
@@ Property / cites work: Henkin quantifiers and complete problems / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Omega-Regular Games with Imperfect Information
+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 @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3172530
@@ Property / cites work: Q3172530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732647
@@ Property / cites work: Q5732647 / 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 @@
+Q3574468
@@ Property / cites work: Q3574468 / 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 @@
+A remark on negation in dependence logic
@@ Property / cites work: A remark on negation in dependence logic / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of two-player games of incomplete information
+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:391101