Extensive Games as Process Models

We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show how to fit existing modal notions into this new setting.

• Type: Journal
• Year: 2002
• Where: JOLLI
• Authors: Johan van Benthem
• Keywords: Interactive Process Models, JOLLI 2002, Modal Languages, Modal Notions