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]

[thumbnail of Full Text]
Text (Full Text)

Download (223kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (687B)
[thumbnail of Full Text (Jun 2007 version)]
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

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