Alternating-time temporal logic with resource bounds

Hoang Nga Nguyen, N. Alechina, B. Logan, A. Rakib

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)
33 Downloads (Pure)


Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability can be affected by the availability of resources, and there is no straightforward way of reasoning about resource requirements in logics such as Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). In this article, we describe a logic for reasoning about coalitional ability under resource constraints. We extend ATL with costs of actions and hence of strategies. We give a complete and sound axiomatization of the resulting logic, Resource-Bounded ATL (RB-ATL) and a model-checking algorithm for it.
Original languageEnglish
Pages (from-to)631-663
Number of pages33
JournalJournal of Logic and Computation
Issue number4
Early online date12 Jun 2015
Publication statusPublished - 7 Jun 2018
Externally publishedYes

Bibliographical note

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://, which permits unrestricted reuse, distribution, and reproduction in any medium, provided
the original work is properly cited.


  • Strategic ability
  • resources
  • axiomatisation of RB-ATL


Dive into the research topics of 'Alternating-time temporal logic with resource bounds'. Together they form a unique fingerprint.

Cite this