Rawlsian Justice as the Core of a Game
It is suggested that the ethical notion of social contract can be formally modeled using the well-studied concept of the core of a game. This provides a mathematical technique for studying social contracts and theories of justice. The idea is applied to Rawlsian justice here.
Roemer, John E. and Howe, Roger, "Rawlsian Justice as the Core of a Game" (1980). Cowles Foundation Discussion Papers. 780.