PP-2007-26: van Benthem, Johan and Ghosh, Sujata and Liu, Fenrong (2007) Modelling Simultaneous Games with Dynamic Logic. [Report]
Preview |
Text (Full Text)
PP-2007-26.text.pdf Download (223kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2007-26.abstract.txt Download (687B) |
Preview |
Text (Full Text (Jun 2007 version))
PP-2007-26.text-Jun-2007.pdf Download (191kB) | Preview |
Abstract
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 |
