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]

[thumbnail of Full Text]
Text (Full Text)

Download (152kB) | Preview
[thumbnail of Abstract] 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 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 View Item