, Handbook of Social Choice and Welfare, 2002.

Dynamic logic of propositional assignments: a wellbehaved variant of PDL, Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, (LICS), 2013. ,

URL : https://hal.archives-ouvertes.fr/hal-01240721

Voting procedures, Handbook of Social Choice and Welfare, vol.1, pp.173-236, 2002. ,

Proving the incompatibility of efficiency and strategyproofness via SMT solving, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI), 2016. ,

Finding strategyproof social choice functions via SAT solving, Journal of Artificial Intelligence Research (JAIR), vol.55, pp.565-602, 2016. ,

Optimal bounds for the no-show paradox via SAT solving, Mathematical Social Sciences, vol.90, pp.18-27, 2017. ,

A syntactic proof of Arrow's theorem in a modal logic of social choice functions, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, (AAMAS), 2015. ,

Proving classical theorems of social choice theory in modal logic, Autonomous Agents and Multi-Agent Systems, vol.30, issue.5, pp.963-989, 2016. ,

Strategy-proof judgment aggregation, Economics & Philosophy, vol.23, issue.3, pp.269-300, 2007. ,

Judgment aggregation by quota rules: majority voting generalized, Journal of Theoretical Politics, vol.19, issue.4, pp.391-424, 2007. ,

Judgment aggregation without full rationality, Social Choice and Welfare, vol.31, issue.1, pp.15-39, 2008. ,

Aggregation of binary evaluations for truth-functional agendas, Social Choice and Welfare, vol.32, issue.2, pp.221-241, 2009. ,

A dynamic logic framework for abstract argumentation, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2014. ,

URL : https://hal.archives-ouvertes.fr/hal-01787378

Making things happen, Studia Logica, vol.66, issue.1, pp.41-58, 2000. ,

Judgment aggregation, Handbook of Computational Social Choice, 2016. ,

URL : https://hal.archives-ouvertes.fr/hal-01501681

Binary Aggregation by selection of the most representative voter, Proceedings of the 28th AAAI Conference on Artificial Intelligence, (AAAI), 2014. ,

Complexity of judgment aggregation, Journal of Artificial Intelligence Research, vol.45, pp.481-514, 2012. ,

Succinctness of languages for judgment aggregation, Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2016. ,

URL : https://hal.archives-ouvertes.fr/hal-01501681

Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, issue.2, pp.194-211, 1979. ,

How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignments, Proceedings of the 12th International Workshop on Multi-Agent Systems and Agent-Based Simulation, 2011. ,

Automated search for impossibility theorems in social choice theory: Ranking sets of objects, Journal of Artificial Intelligence Research, vol.40, pp.143-174, 2011. ,

Binary aggregation with integrity constraints, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), 2011. ,

First-order logic formalisation of impossibility theorems in preference aggregation, Journal of Philosophical Logic, vol.42, issue.4, pp.595-618, 2013. ,

Judgment aggregation: a primer, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.8, issue.2, pp.1-151, 2014. ,

URL : https://hal.archives-ouvertes.fr/hal-01497079

Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR), 2014. ,

A dynamic logic of normative systems, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), 2011. ,

Mathematics without numbers, Daedalus, vol.88, issue.4, pp.577-591, 1959. ,

The one and the many: adjudication in collegial courts, California Law Review, vol.81, issue.1, pp.1-59, 1993. ,

How hard is it to compute majority-preserving judgment aggregation rules?, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI), 2014. ,

URL : https://hal.archives-ouvertes.fr/hal-01497527

The theory of judgment aggregation: an introductory review, Synthese, vol.187, issue.1, pp.179-207, 2012. ,

Aggregating sets of judgments: an impossibility result, Economics and Philosophy, vol.18, issue.01, pp.89-110, 2002. ,

Prime forms and minimal change in propositional belief bases, Annals of Mathematics and Artificial Intelligence, vol.59, issue.1, pp.1-45, 2010. ,

Consequence finding algorithms, Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp.41-145, 2000. ,

A set of independent necessary and sufficient conditions for simple majority decision, Econometrica: Journal of the Econometric Society, pp.680-684, 1952. ,

Methods for distance-based judgment aggregation, Social Choice and Welfare, vol.32, issue.4, pp.575-601, 2009. ,

Social choice theory in HOL: Arrow and Gibbard-Satterthwaite, Journal of Automated Reasoning, vol.43, issue.3, pp.289-304, 2009. ,

Axiomatizing collective judgment sets in a minimal logical language, Synthese, vol.158, issue.2, pp.233-250, 2007. ,

Natural deduction for modal logic of judgment aggregation, Journal of Logic Language and Information, pp.1-20, 2016. ,

Judgement aggregation in non-classical logics, Journal of Applied Non-Classical Logics, vol.27, issue.1-2, pp.106-139, 2017. ,

Semantical considerations on Floyd-Hoare logic, Proceedings of the 17th Annual Symposium on Foundations of Computer Science (FOCS), 1976. ,

The single profile analogues to multi profile theorems: mathematical logic's approach, International Economic Review, pp.719-730, 1984. ,

Computer-aided proofs of Arrow's and other impossibility theorems. Artificial Intelligence, vol.173, pp.1041-1053, 2009. ,

Logics of social choice and perspectives on their software implementation. Accompanying notes for the Schloss Dagstuhl Seminar 11101, 2011. ,

Reasoning about social choice functions, Journal of Philosophical Logic, vol.40, issue.4, pp.473-498, 2011. ,

, Generation of permutations by transposition. Mathematics of Computation, pp.192-195, 1961.

Arrow's impossibility theorem, Formalized Mathematics, vol.15, issue.4, pp.171-174, 2007. ,