PP-2007-07: LOGIC GAMES: from tools to models of interaction

PP-2007-07: van Benthem, Johan (2007) LOGIC GAMES: from tools to models of interaction. [Report]

Text (Full Text)

Download (152kB) | Preview
[img] Text (Abstract)

Download (456B)


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 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 View Item