|
|||||
|
|
Modelling simultaneous games in dynamic logic |
|
| Authors: | Johan van Benthem Sujata Ghosh Fenrong Liu |
| Affiliation: | (1) Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands;(2) Department of Philosophy, Stanford University, Standord, CA, USA;(3) Department of Mathematics, Visva-Bharati, Shantiniketan, India;(4) Center for Soft Computing Research, Indian Statistical Institute, Kolkata, India;(5) Department of Philosophy, School of Humanities and Social Sciences, Tsinghua University, Beijing, China |
| 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. |
| Keywords: | Simultaneous games Parallelism Game logic Evaluation games IF logic Branching quantifiers |
| 本文献已被 SpringerLink 等数据库收录！ | |