Access

You are not currently logged in.

Access JSTOR through your library or other institution:

login

Log in through your institution.

Modelling Simultaneous Games in Dynamic Logic

Johan van Benthem, Sujata Ghosh and Fenrong Liu
Synthese
Vol. 165, No. 2, Knowledge, Rationality & Action (Nov., 2008), pp. 247-268
Published by: Springer
Stable URL: http://www.jstor.org/stable/40271102
Page Count: 22
  • Download ($43.95)
  • Cite this Item
Modelling Simultaneous Games in Dynamic Logic
Preview not available

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.

Page Thumbnails

  • Thumbnail: Page 
[247]
    [247]
  • Thumbnail: Page 
248
    248
  • Thumbnail: Page 
249
    249
  • Thumbnail: Page 
250
    250
  • Thumbnail: Page 
251
    251
  • Thumbnail: Page 
252
    252
  • Thumbnail: Page 
253
    253
  • Thumbnail: Page 
254
    254
  • Thumbnail: Page 
255
    255
  • Thumbnail: Page 
256
    256
  • Thumbnail: Page 
257
    257
  • Thumbnail: Page 
258
    258
  • Thumbnail: Page 
259
    259
  • Thumbnail: Page 
260
    260
  • Thumbnail: Page 
261
    261
  • Thumbnail: Page 
262
    262
  • Thumbnail: Page 
263
    263
  • Thumbnail: Page 
264
    264
  • Thumbnail: Page 
265
    265
  • Thumbnail: Page 
266
    266
  • Thumbnail: Page 
267
    267
  • Thumbnail: Page 
268
    268