A Modal Logic for Mixed Strategies |
| |
Authors: | Joshua Sack Wiebe van der Hoek |
| |
Institution: | 1. Institute for Logic, Language and Computation, Universiteit van Amsterdam, PO Box 94242, 1090GE, Amsterdam, The Netherlands 2. Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK
|
| |
Abstract: | Modal logics have proven to be a very successful tool for reasoning about games. However, until now, although logics have been put forward for games in both normal form and games in extensive form, and for games with complete and incomplete information, the focus in the logic community has hitherto been on games with pure strategies. This paper is a first to widen the scope to logics for games that allow mixed strategies. We present a modal logic for games in normal form with mixed strategies, and demonstrate its soundness and strong completeness. Characteristic for our logic is a number of infinite rules. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|