Dynamic Logic on Games with Structured Strategies.
Ramaswamy RamanujamSunil Easaw SimonPublished in: KR (2008)
Keyphrases
- dynamic logic
- modal logic
- reasoning about actions
- imperative programs
- mixed strategy
- solution concepts
- repeated games
- computer games
- video games
- nash equilibria
- game playing
- game theory
- structured data
- knowledge base
- game design
- game play
- coalitional games
- educational games
- first order logic
- propositional dynamic logic