Abstract
We provide a sound and complete axiomatization for a class of logics appropriate for reasoning about the rationality of players in games. Essentially the same axiomatization applies to a wide class of decision rules.
| Original language | English |
|---|---|
| Pages (from-to) | 178-187 |
| Number of pages | 10 |
| Journal | Proceedings of the International Conference on Knowledge Representation and Reasoning |
| State | Published - 2014 |
| Externally published | Yes |
| Event | 14th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2014 - Vienna, Austria Duration: 20 Jul 2014 → 24 Jul 2014 |
All Science Journal Classification (ASJC) codes
- Software
- Logic