PP-2007-07: van Benthem, Johan (2007) LOGIC GAMES: from tools to models of interaction. [Report]
Preview |
Text (Full Text)
PP-2007-07.text.pdf Download (152kB) | Preview |
![[thumbnail of Abstract]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text (Abstract)
PP-2007-07.abstract.txt Download (456B) |
Abstract
This is a slightly updated version of an earlier survey of logic games
for model checking, model construction, model comparison, and other
tasks. We discuss their general structural properties, and their
connections with current game logics for analyzing the structure of
games in general.
| Item Type: | Report |
|---|---|
| Report Nr: | PP-2007-07 |
| Series Name: | Prepublication (PP) Series |
| Year: | 2007 |
| Uncontrolled Keywords: | logic games; game logics; game equivalence; ; strategies; game algebra |
| Subjects: | Logic |
| Depositing User: | Johan van Benthem |
| Date Deposited: | 12 Oct 2016 14:36 |
| Last Modified: | 12 Oct 2016 14:36 |
| URI: | https://eprints.illc.uva.nl/id/eprint/241 |
Actions (login required)
 |
View Item |
