Marc Pauly

According to our database, Marc Pauly authored at least 16 papers between 2000 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Can strategizing in round-robin subtournaments be avoided?

Marc Pauly

Soc. Choice Welf., 2014

2012

What Is Social Software?

Rohit Parikh, Marc Pauly

Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

2008

On the role of language in social choice theory.

Marc Pauly

Synth., 2008

Decision framing in judgment aggregation.

Fabrizio Cariani, Marc Pauly, Josh Snyder

Synth., 2008

Formal Methods and the Theory of Social Choice.

Marc Pauly

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2007

Axiomatizing collective judgment sets in a minimal logical language.

Marc Pauly

Synth., 2007

Modal logic for games and information.

Wiebe van der Hoek, Marc Pauly

Proceedings of the Handbook of Modal Logic., 2007

2006

Logical Constraints on Judgement Aggregation.

Marc Pauly, Martin van Hees

J. Philos. Log., 2006

2005

Programming and Verifying Subgame-Perfect Mechanisms.

Marc Pauly

J. Log. Comput., 2005

2003

Game Logic - An Overview.

Marc Pauly, Rohit Parikh

Stud Logica, 2003

Editorial Introduction.

Marc Pauly, Rohit Parikh

Stud Logica, 2003

2002

A Modal Logic for Coalitional Power in Games.

Marc Pauly

J. Log. Comput., 2002

Editorial: Logic and Games.

Paul Dekker, Marc Pauly

J. Log. Lang. Inf., 2002

On the Complexity of Coalitional Reasoning.

Marc Pauly

IGTR, 2002

Axiomatising Nash-Consistent Coalition Logic.

Helle Hvid Hansen, Marc Pauly

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2000

From Programs to Games: Invariance and Safety for Bisimulation.

Marc Pauly

Proceedings of the Computer Science Logic, 2000