Vassar College Digital Library
The paper introduces a notion of a budget-constrained 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.
Department or Program
Document Type
Peer Reviewed
Not Reviewed
Publication Date
Repository Collection
Display hints
Document Type