Game Logic - An Overview |
| |
| Authors: | Pauly Marc Parikh Rohit |
| |
| Affiliation: | (1) IRIT, Université Paul Sabatier, 118, Route de Narbonne, F-31062 Toulouse cedex 4;(2) Department of Computer Science, CUNY Graduate Center, 365 Fifth Avenue, New York, NY, 10016 |
| |
| Abstract: | Game Logic is a modal logic which extends Propositional Dynamic Logic by generalising its semantics and adding a new operator to the language. The logic can be used to reason about determined 2-player games. We present an overview of meta-theoretic results regarding this logic, also covering the algebraic version of the logic known as Game Algebra. |
| |
| Keywords: | modal logic propositional dynamic logic game theory |
| 本文献已被 SpringerLink 等数据库收录！ |
|
