The implementation problem is the problem of designing a mechanism (game form) such
that the equilibrium outcomes satisfy a criterion of social optimality embodied in a social …

We present a modal logic for reasoning about what groups of agents can bring about by
collective action. Given a set of states, we introduce game frames which associate with every …

Neighborhood models generalize the well-known relational models, or Kripke models, for
modal logic. Although the idea underlying neighborhood models is implicit in the seminal …

The term" social software" refers to the project of analyzing social procedures and processes
using the formal methods of computer science. Examples of the social procedures we have …

'Poverty itself is a violation of numerous basic human rights.'(Mary Robinson, former UN
High Commissioner on Human Rights) The idea that freedom from poverty is a basic human …

Publisher Summary Game-theoretic ideas have long played an influential rule in analyzing
various branches of logic. This chapter focuses on using modal logics to describe and …

Martin van Hees presents a new approach to the study of law-legal reductionism-which
combines elements of legal positivism, new institutionalism and decision theory. From legal …

In this chapter we adopt the axiomatic approach in order to find (new) voting procedures to
committees that are immune against deviations by coalitions of voters. We shall now …

This paper analyses the work of the Nobel Prize winning economist Professor Amartya Sen
from the perspective of human rights. It assesses the ways in which Sen's research agenda …

A well-known result in the logical analysis of cooperative games states that the so-called
playable effectivity functions exactly correspond to strategic games. More precisely, this …