Skip to main content

Research Repository

Advanced Search

Alternating-time temporal logic with resource bounds

Nguyen, Hoang Nga; Alechina, Natasha; Logan, Brian; Rakib, Abdur

Alternating-time temporal logic with resource bounds Thumbnail


Hoang Nga Nguyen

Natasha Alechina

Brian Logan

Profile Image

Rakib Abdur
Senior Lecturer in Mobile Security


© 2015 The Author. 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.


Nguyen, H. N., Alechina, N., Logan, B., & Rakib, A. (2018). Alternating-time temporal logic with resource bounds. Journal of Logic and Computation, 28(4), 631-663.

Journal Article Type Article
Acceptance Date Nov 24, 2014
Online Publication Date Jun 12, 2015
Publication Date Jun 1, 2018
Deposit Date Jun 16, 2017
Publicly Available Date Jun 19, 2017
Journal Journal of Logic and Computation
Print ISSN 0955-792X
Electronic ISSN 1465-363X
Publisher Oxford University Press (OUP)
Peer Reviewed Peer Reviewed
Volume 28
Issue 4
Pages 631-663
Keywords strategic ability, resources, axiomatisation of RB-ATL
Public URL
Publisher URL
Related Public URLs


You might also like

Downloadable Citations