Good-for-Game QPTL: An Alternating Hodges Semantics
From MaRDI portal
Cites work
- A behavioral hierarchy of strategy logic
- A double team semantics for generalized quantifiers
- A new approach to infinitary languages
- Algorithms for model checking HyperLTL and HyperCTL^*
- Aspects of compositionality
- Automata theory and its applications
- Automata, logics, and infinite games. A guide to current research
- Automata-theoretic techniques for modal logics of programs
- Borel determinacy
- Compositional semantics for a language of imperfect information
- Coordination logic
- Definability hierarchies of generalized quantifiers
- Dependence and independence
- Dependence Logic
- Dependence logic. A new approach to independence friendly logic
- Dependences in strategy logic
- Dependences in strategy logic
- Dialogspiele als Semantische Grundlage von Logikkalkülen
- Extensive Games
- From Nondeterministic B\"uchi and Streett Automata to Deterministic Parity Automata
- Good for games automata: from nondeterminism to alternation
- Handbook of proof theory
- Henkin quantifiers and complete problems
- scientific article; zbMATH DE number 3990873 (Why is no real title available?)
- scientific article; zbMATH DE number 49749 (Why is no real title available?)
- scientific article; zbMATH DE number 4124989 (Why is no real title available?)
- scientific article; zbMATH DE number 1007358 (Why is no real title available?)
- scientific article; zbMATH DE number 1086489 (Why is no real title available?)
- scientific article; zbMATH DE number 2084388 (Why is no real title available?)
- scientific article; zbMATH DE number 6851935 (Why is no real title available?)
- scientific article; zbMATH DE number 3993574 (Why is no real title available?)
- scientific article; zbMATH DE number 4118333 (Why is no real title available?)
- scientific article; zbMATH DE number 2206109 (Why is no real title available?)
- scientific article; zbMATH DE number 3291106 (Why is no real title available?)
- scientific article; zbMATH DE number 3399180 (Why is no real title available?)
- scientific article; zbMATH DE number 3190338 (Why is no real title available?)
- scientific article; zbMATH DE number 3196255 (Why is no real title available?)
- scientific article; zbMATH DE number 3078991 (Why is no real title available?)
- scientific article; zbMATH DE number 3078993 (Why is no real title available?)
- scientific article; zbMATH DE number 3106184 (Why is no real title available?)
- Independence-friendly logic. A game-theoretic approach
- Infinite games on finitely coloured graphs with applications to automata on infinite trees
- Iterated Boolean games
- Logic and games on automatic structures. Playing with quantifiers and decompositions
- Number of quantifiers is better than number of tape cells
- On the boundary of behavioral strategies
- On the logic of informational independence and its applications
- PARTIALLY ORDERED CONNECTIVES
- Quantified CTL: expressiveness and complexity
- Quantifiers vs. Quantification Theory
- Rational cooperation in the finitely repeated prisoners' dilemma
- Reasoning about strategies
- Reasoning about strategies: on the model-checking problem
- Reasoning about strategies: on the satisfiability problem
- Reasoning About Substructures and Games
- Reexamination of the perfectness concept for equilibrium points in extensive games
- Reflection of Long Game Formulas
- Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
- Solving Games Without Determinization
- Strategy Logic
- Strategy logic
- Substructure Temporal Logic
- Team semantics for the specification and verification of hyperproperties
- The complementation problem for Büchi automata with applications to temporal logic
- The first-order logic of hyperproperties
- The strict determinateness of certain infinite games
- The temporal semantics of concurrent programs
- What makes \textsc{Atl}* decidable? A decidable fragment of strategy logic
Cited in
(3)
This page was built for publication: Good-for-Game QPTL: An Alternating Hodges Semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5875946)
