Abstract
The paper introduces a notion of a budgetconstrained multiagent transition system that associates two financial parameters with each transition: a pre-transition minimal budget requirement
and a post-transition profit. The paper proposes
a new modal language for reasoning about such a
system. The language uses a modality labeled by
agent as well as by budget and profit constraints.
The main technical result is a sound and complete
logical system that describes all universal properties of this modality. Among these properties is a
form of Transitivity axiom that captures the interplay between the budget and profit constraints