Modelling Simultaneous Games in Dynamic Logic

Synthese 165 (2):247 - 268 (2008)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,685

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2011-05-29

Downloads
68 (#214,662)

6 months
3 (#434,103)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Johan Van Benthem
University of Amsterdam
Fenrong Liu
Tsinghua University

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic: Graph. Darst.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - New York: Cambridge University Press. Edited by Maarten de Rijke & Yde Venema.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Compositional semantics for a language of imperfect information.W. Hodges - 1997 - Logic Journal of the IGPL 5 (4):539-563.

View all 18 references / Add more references