Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946): Difference between revisions

@@ Property / cites work @@
+Dependence Logic
@@ Property / cites work: Dependence Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Substructure Temporal Logic
@@ Property / cites work: Substructure Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning About Substructures and Games
@@ Property / cites work: Reasoning About Substructures and Games / 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 @@
+Q5875380
@@ Property / cites work: Q5875380 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy Logic
@@ Property / cites work: Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy logic
@@ Property / cites work: Strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4608665
@@ Property / cites work: Q4608665 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for model checking HyperLTL and HyperCTL\(^*\)
+Normal rank
@@ Property / cites work @@
+Coordination Logic
@@ Property / cites work: Coordination Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The First-Order Logic of Hyperproperties
@@ Property / cites work: The First-Order Logic of Hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4475142
@@ Property / cites work: Q4475142 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817866
@@ Property / cites work: Q5817866 / rank @@
+Normal rank
@@ Property / cites work @@
+Dependences in Strategy Logic
@@ Property / cites work: Dependences in Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Dependences in strategy logic
@@ Property / cites work: Dependences in strategy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Dependence and independence
@@ Property / cites work: Dependence and independence / rank @@
+Normal rank
@@ Property / cites work @@
+Iterated Boolean games
@@ Property / cites work: Iterated Boolean games / rank @@
+Normal rank
@@ Property / cites work @@
+Reflection of Long Game Formulas
@@ Property / cites work: Reflection of Long Game Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Definability hierarchies of generalized quantifiers
+Normal rank
@@ Property / cites work @@
+Q5732647
@@ Property / cites work: Q5732647 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Games Without Determinization
@@ Property / cites work: Solving Games Without Determinization / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666510
@@ Property / cites work: Q5666510 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifiers vs. Quantification Theory
@@ Property / cites work: Quantifiers vs. Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to infinitary languages
@@ Property / cites work: A new approach to infinitary languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4732440
@@ Property / cites work: Q4732440 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / 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 @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+Logic and games on automatic structures. Playing with quantifiers and decompositions
+Normal rank
@@ Property / cites work @@
+Automata theory and its applications
@@ Property / cites work: Automata theory and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Team semantics for the specification and verification of hyperproperties
+Normal rank
@@ Property / cites work @@
+Rational cooperation in the finitely repeated prisoners' dilemma
+Normal rank
@@ Property / cites work @@
+Extensive Games
@@ Property / cites work: Extensive Games / rank @@
+Normal rank
@@ Property / cites work @@
+Q5817864
@@ Property / cites work: Q5817864 / rank @@
+Normal rank
@@ Property / cites work @@
+A double team semantics for generalized quantifiers
+Normal rank
@@ Property / cites work @@
+Quantified CTL: Expressiveness and Complexity
@@ Property / cites work: Quantified CTL: Expressiveness and Complexity / rank @@
+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 @@
+What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
+Normal rank
@@ Property / cites work @@
+Reasoning About Strategies
@@ Property / cites work: Reasoning About Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+Q2980973
@@ Property / cites work: Q2980973 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Boundary of Behavioral Strategies
@@ Property / cites work: On the Boundary of Behavioral Strategies / rank @@
+Normal rank
@@ Property / cites work @@
+A Behavioral Hierarchy of Strategy Logic
@@ Property / cites work: A Behavioral Hierarchy of Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908844
@@ Property / cites work: Q2908844 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753490
@@ Property / cites work: Q3753490 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
+Normal rank
@@ Property / cites work @@
+Q3999542
@@ Property / cites work: Q3999542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of informational independence and its applications
+Normal rank
@@ Property / cites work @@
+Aspects of compositionality
@@ Property / cites work: Aspects of compositionality / rank @@
+Normal rank
@@ Property / cites work @@
+PARTIALLY ORDERED CONNECTIVES
@@ Property / cites work: PARTIALLY ORDERED CONNECTIVES / rank @@
+Normal rank
@@ Property / cites work @@
+Reexamination of the perfectness concept for equilibrium points in extensive games
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Q3446107
@@ Property / cites work: Q3446107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+Q5844986
@@ Property / cites work: Q5844986 / rank @@
+Normal rank
@@ Property / cites work @@
+The strict determinateness of certain infinite games
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank