Discounting in Strategy Logic

Munyque Mittelmann, Aniello Murano, Laurent Perrussel

Discounting is an important dimension in multi-agent systems as long as we want to reason about strategies and time. It is a key aspect in economics as it captures the intuition th…