We present infinite extensive strategy profiles with perfect information and
we show that replacing finite by infinite changes the notions and the reasoning
tools. The presentation uses a formalism recently developed by logicians and
computer science theoreticians, called coinduction. This builds a bridge
between economic game theory and the most recent advance in theoretical
computer science and logic. The key result is that rational agents may have
strategy leading to divergence .Comment: 3rd International Workshop on Strategic Reasoning, Dec 2015, Oxford,
United Kingdom. 201
