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

Revision as of 14:07, 29 June 2023