Logic for coalitions with bounded resources

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

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

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. In this article, we present a Resource-Bounded Coalition Logic (RBCL) that has explicit representation of resource bounds in the language. We give a complete and sound axiomatization of RBCL, a procedure for deciding satisfiability of RBCL formulas, and a model-checking algorithm.

Original languageEnglish
Pages (from-to)907-937
Number of pages31
JournalJournal of Logic and Computation
Volume21
Issue number6
DOIs
Publication statusPublished - Dec 2011
Externally publishedYes

Keywords

  • Coalition logic
  • resources

Fingerprint

Dive into the research topics of 'Logic for coalitions with bounded resources'. Together they form a unique fingerprint.

Cite this