Strategies in Games: A Logic-Automata Study
From MaRDI portal
Publication:3166989
DOI10.1007/978-3-642-31485-8_4zbMath1250.03064OpenAlexW1880448033MaRDI QIDQ3166989
No author found.
Publication date: 1 November 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-31485-8_4
Game theory (91A99) Automata and formal grammars in connection with logical questions (03D05) Social choice (91B14)
Related Items (7)
On the use (and abuse) of logic in game theory ⋮ An automated method for building cognitive models for turn-based games from a strategy logic ⋮ Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models ⋮ Reasoning in large games with unboundedly many players ⋮ Taming strategy logic: non-recurrent fragments ⋮ Studying strategies and types of players: experiments, logics and cognitive models ⋮ Strategic reasoning: building cognitive models from logical formulas
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modelling simultaneous games in dynamic logic
- Process logic: Expressiveness, decidability, completeness
- Parallel action: Concurrent dynamic logic with independent modalities
- Borel determinacy
- Nash equilibria for an evolutionary language game
- Potential games
- Dynamic Restriction of Choices: Synthesis of Societal Rules
- A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies
- Strategy Logic
- Stability under Strategy Switching
- Playing Extensive Form Games in Parallel
- A Communication Based Model for Games of Imperfect Information
- The Game of Hex and the Brouwer Fixed-Point Theorem
- Equilibrium points in n -person games
This page was built for publication: Strategies in Games: A Logic-Automata Study
