PP-2007-26: Modelling Simultaneous Games with Dynamic Logic

PP-2007-26: van Benthem, Johan and Ghosh, Sujata and Liu, Fenrong (2007) Modelling Simultaneous Games with Dynamic Logic. [Report]

Text (Full Text)

Download (223kB) | Preview
[img] Text (Abstract)

Download (687B)
Text (Full Text (Jun 2007 version))

Download (191kB) | Preview


We make a proposal for formalizing simultaneous games at the abstraction level of player's powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of 'concurrent game logic' CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

Item Type: Report
Report Nr: PP-2007-26
Series Name: Prepublication (PP) Series
Year: 2007
Uncontrolled Keywords: simutaneous games; dynamic game logic; con-current dynamic game logic; non-determined games
Subjects: Logic
Depositing User: fenrong
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/260

Actions (login required)

View Item View Item