Studia Logica 75 (2):239 - 256 (2003)
| Authors |
|
| Abstract |
We prove that every abstractly defined game algebra can be represented as an algebra of consistent pairs of monotone outcome relations over a game board. As a corollary we obtain Goranko's result that van Benthem's conjectured axiomatization for equivalent game terms is indeed complete.
|
| Keywords | Philosophy Logic Mathematical Logic and Foundations Computational Linguistics |
| Categories | (categorize this paper) |
| Reprint years | 2004 |
| DOI | 10.1023/A:1027363028181 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Modelling Simultaneous Games in Dynamic Logic.Johan van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247-268.
Modelling Simultaneous Games in Dynamic Logic.Johan Van Benthem, Sujata Ghosh & Fenrong Liu - 2008 - Synthese 165 (2):247 - 268.
Similar books and articles
Step by Step – Building Representations in Algebraic Logic.Robin Hirsch & Ian Hodkinson - 1997 - Journal of Symbolic Logic 62 (1):225-279.
Analytics
Added to PP index
2009-01-28
Total views
24 ( #437,461 of 2,419,600 )
Recent downloads (6 months)
1 ( #542,199 of 2,419,600 )
2009-01-28
Total views
24 ( #437,461 of 2,419,600 )
Recent downloads (6 months)
1 ( #542,199 of 2,419,600 )
How can I increase my downloads?
Downloads
