Playing extensive form games in parallel
| Authors |
|
|---|---|
| Publication date | 2010 |
| Host editors |
|
| Book title | Computational Logic in Multi-Agent Systems |
| Book subtitle | 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010 : proceedings |
| ISBN |
|
| ISBN (electronic) |
|
| Series | Lecture Notes in Computer Science |
| Event | 11th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XI), Lisbon, Portugal |
| Pages (from-to) | 153-170 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Abstract | Consider a player playing against different opponents in two extensive form games simultaneously. Can she then have a strategy in one game using information from the other? The famous example of playing chess against two grandmasters simultaneously illustrates such reasoning. We consider a simple dynamic logic of extensive form games with sequential and parallel composition in which such situations can be expressed. We present a complete axiomatization and show that the satisfiability problem for the logic is decidable. |
| Document type | Conference contribution |
| Language | English |
| Published at |
https://doi.org/10.1007/978-3-642-14977-1_13
(Final published version)
|
| Permalink to this page | |