Reasoning about graded strategy quantifiers (Q1706169): Difference between revisions

@@ 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.ic.2017.08.010
+Normal rank
@@ Property / OpenAlex ID @@
+W2767103995
@@ Property / OpenAlex ID: W2767103995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+“Sometimes” and “not never” revisited
@@ Property / cites work: “Sometimes” and “not never” revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703299
@@ Property / cites work: Q3703299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2733893
@@ Property / cites work: Q2733893 / rank @@
+Normal rank
@@ Property / cites work @@
+Module checking
@@ Property / cites work: Module checking / rank @@
+Normal rank
@@ Property / cites work @@
+Pushdown module checking with imperfect information
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy Logic
@@ Property / cites work: Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908844
@@ Property / cites work: Q2908844 / rank @@
+Normal rank
@@ Property / cites work @@
+Graded computation tree logic
@@ Property / cites work: Graded computation tree logic / rank @@
+Normal rank
@@ Property / cites work @@
+In so many possible worlds
@@ Property / cites work: In so many possible worlds / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of finite model reasoning in description logics
+Normal rank
@@ Property / cites work @@
+Q4809076
@@ Property / cites work: Q4809076 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking for Graded CTL
@@ Property / cites work: Model Checking for Graded CTL / rank @@
+Normal rank
@@ Property / cites work @@
+Graded Computation Tree Logic with Binary Coding
@@ Property / cites work: Graded Computation Tree Logic with Binary Coding / rank @@
+Normal rank
@@ Property / cites work @@
+On CTL* with Graded Path Modalities
@@ Property / cites work: On CTL* with Graded Path Modalities / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched MU-Calculi Module Checking
@@ Property / cites work: Enriched MU-Calculi Module Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Graded Alternating-Time Temporal Logic
@@ Property / cites work: Graded Alternating-Time Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
+Normal rank
@@ Property / cites work @@
+Mutation-selection equilibrium in games with multiple strategies
+Normal rank
@@ Property / cites work @@
+Q5339289
@@ Property / cites work: Q5339289 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722064
@@ Property / cites work: Q4722064 / rank @@
+Normal rank
@@ Property / cites work @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+Q5311048
@@ Property / cites work: Q5311048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999542
@@ Property / cites work: Q3999542 / rank @@
+Normal rank
@@ Property / cites work @@
+mcmas: A Model Checker for Multi-agent Systems
@@ Property / cites work: mcmas: A Model Checker for Multi-agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+ATL with Strategy Contexts and Bounded Memory
@@ Property / cites work: ATL with Strategy Contexts and Bounded Memory / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908843
@@ Property / cites work: Q2908843 / rank @@
+Normal rank
@@ Property / cites work @@
+On Promptness in Parity Games
@@ Property / cites work: On Promptness in Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+A Behavioral Hierarchy of Strategy Logic
@@ Property / cites work: A Behavioral Hierarchy of Strategy Logic / rank @@
+Normal rank