---
title: "A Logic for Coalitions with Bounded Resources"
authors:
  - "Natasha Alechina"
  - "Brian Logan"
  - "Nguyen Hoang Nga"
  - "Abdur Rakib"
doi: ""
url: "https://ijcai.org/proceedings/2009/115"
pdf: "https://ijcai.org/proceedings/2009/0115.pdf"
venue: "Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence"
year: 2009
pages: "659-663"
track: ""
keywords:
---

# A Logic for Coalitions with Bounded Resources

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

*Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence*, pages 659-663.

## Abstract

Recent work on Alternating-Time Temporal Logic and Coalition Logic has allowed the expression of many interesting properties of coalitions and strategies. However there is no natural way of expressing resource requirements in these logics. This paper presents a Resource-Bounded Coalition Logic (RBCL) which has explicit representation of resource bounds in the language, and gives a complete and sound axiomatisation of RBCL.Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Abdur Rakib