| Auteur | J.F.A.K. van Benthem | | Titel | LOGIC GAMES: from tools to models of interaction |
| Faculteit | Faculteit der Natuurwetenschappen, Wiskunde en Informatica |
| Instituut/afd. | FNWI/FGw: Institute for Logic, Language and Computation (ILLC) |
| Trefwoorden | logic games, game logics, game equivalence,; strategies, game algebra |
| Serie | ILLC Prepublications / ILLC ; PP-2007-07 |
| Samenvatting | 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. |
| Opmerkingen | To appear in a volume on Logic in its Interdisciplinary
Environment, A. Gupta, R. Parikh, & J. van Benthem,
eds., Indian Institute of Technology Bombay, Mumbai. |
| Soort document | Preprint |
| Download bestand | |
| Document finder | 
|
Gebruik dit adres om naar deze pagina te linken: http://dare.uva.nl/record/216160
Vraag/opmerking over dit recordMail aan een collega
Toevoegen aan bewaarset
|
