|
Games and logical structure| old_uid | 6975 |
|---|
| title | Games and logical structure |
|---|
| start_date | 2009/05/18 |
|---|
| schedule | 14h-16h |
|---|
| online | no |
|---|
| summary | We address the question "What is the logical structure in a game?", in the sense of "What is preserved under isomorphism?", under the light of different notions of indistinguishability between games. Towards this, we set out with Thompson's inessential transformations, which induce a collapse between strategic and extensive forms of finite games. After pointing out that this collapse does not carry over to
infinite games, we propose an extensible characterisation of Thompson's notion of sameness in terms of equivalence under fixed-point logics without equality. |
|---|
| responsibles | Bonnay, Sandu |
|---|
| |
|