Strategies in Games: A Logic-Automata Study
From MaRDI portal
Publication:3166989
DOI10.1007/978-3-642-31485-8_4zbMath1250.03064MaRDI 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
91A99: Game theory
03D05: Automata and formal grammars in connection with logical questions
91B14: Social choice
Related Items
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, Studying strategies and types of players: experiments, logics and cognitive models, Strategic reasoning: building cognitive models from logical formulas, Human Strategic Reasoning in Dynamic Games: Experiments, Logics, Cognitive Models
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
