  Discounting future costs and rewards is a common practice in accounting, game
theory, and machine learning. In spite of this, existing logics for reasoning
about strategies with cost and resource constraints do not account for
discounting. The paper proposes a sound and complete logical system for
reasoning about budget-constrained strategic abilities that incorporates
discounting into its semantics.
