Modelling simultaneous games in dynamic logic.

Johan van Benthem Sujata Ghosh Fenrong Liu

Published in: Synth. (2008)

Keyphrases

dynamic logic
reasoning about actions
modal logic
propositional dynamic logic
game theory
video games
multiple input
computer games
imperative programs
classical first order logic
artificial intelligence
nash equilibria
game playing
digital games
game tree
game play
serious games
case based reasoning
knowledge base