A Logical Framework for Coalitional Effectivity in Dynamic Procedures

Marc Pauly

Bulletin of Economic Research, 2001, vol. 53, issue 4, 305-24

Abstract: Effectivity frames are introduced as a model of what groups of agents can achieve by coordinated action in dynamic processes such as extensive games with or without simultaneous moves. Local effectivity is distinguished from different kinds of global and terminal effectivity, respectively what groups of players can maintain throughout and what they can achieve eventually. Examples are provided of how effectivity frames can be used as a tool (1) to model complex multi-agent processes such as voting procedures, (2) to investigate the interplay between local and global properties of these dynamic procedures, and (3) to examine whether a particular effectivity function can be implemented or realized by a dynamic procedure of a specific type. Finally, a modal logic for local and global coalitional effectivity is presented, and it is shown how, for example, a realization question can be translated into this logical framework yielding a satisfiability problem. Copyright 2001 by Blackwell Publishing Ltd and the Board of Trustees of the Bulletin of Economic Research

Date: 2001
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:bla:buecrs:v:53:y:2001:i:4:p:305-24

Ordering information: This journal article can be ordered from
http://www.blackwell ... bs.asp?ref=0307-3378

Access Statistics for this article

More articles in Bulletin of Economic Research from Wiley Blackwell
Bibliographic data for series maintained by Wiley Content Delivery ().