Cost constrained ATL
Can we sensibly implement cost-constrained modal logics (e.g. cost constrained ATL)
The idea here is that the edges/moves have a cost and the modalities specify a budget. There are also variants where transitions can produce gains/increase the budget are also available. Different semantics can be envisioned based on the granularity of the cost calculation (e.g. do individual moves have cost or only the joint move has a cost) as well as the scope of the budget (e.g. does the budget only affect the coalition in the modality of the system as a whole)