Modelling simultaneous games in dynamic logic.
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....
| Publicado en: | Synthese Vol. 165; no. 2; pp. 247 - 269 |
|---|---|
| Autores principales: | , , |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Nov2008
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=34873615&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 34873615 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00397857 4LI jtl: Synthese issn: 00397857 maglogo: N pubinfo: dt: Nov2008 vid: 165 iid: 2 pid: 237 pub: Springer Nature artinfo: ui: 34873615 10.1007/s11229-008-9390-y ppf: 247 ppct: 22 formats: fmt: @attributes: type: P size: 246KB tig: atl: Modelling simultaneous games in dynamic logic. aug: au: van Benthem, Johan Ghosh, Sujata Liu, Fenrong affil: Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, Netherlands Department of Philosophy, Stanford University, Standord, CA, USA Department of Mathematics, Visva-Bharati, Santiniketan, India Department of Philosophy, School of Humanities and Social Sciences, Tsinghua University, Beijing, China su: Modern logic Games Quantifiers (Linguistics) Parallelism (Linguistics) Social interaction sug: subj: Modern logic Games Quantifiers (Linguistics) Parallelism (Linguistics) Social interaction keyword: Branching quantifiers Evaluation games Game logic IF logic Parallelism Simultaneous games ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Synthese is a copyright of Springer, 2008. All Rights Reserved. item: Synthese holder: Springer Nature dt: @attributes: year: 2008 holdings: @attributes: islocal: N |
|---|