T. Ågotnes, W. Van-der-hoek, and M. Wooldridge, On the logic of preference and judgment aggregation, Autonomous Agents and Multi-Agent Systems, vol.22, 2011.

K. J. Arrow, A. K. Sen, and K. Suzumura, Handbook of Social Choice and Welfare, 2002.

P. Balbiani, A. Herzig, and N. Troquard, 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

S. J. Brams and P. C. Fishburn, Voting procedures, Handbook of Social Choice and Welfare, vol.1, pp.173-236, 2002.

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

F. Brandt and C. Geist, Finding strategyproof social choice functions via SAT solving, Journal of Artificial Intelligence Research, vol.55, pp.565-602, 2016.

F. Brandt, C. Geist, and D. Peters, Optimal bounds for the no-show paradox via SAT solving, Mathematical Social Sciences, vol.90, pp.18-27, 2017.

G. Ciná and U. Endriss, 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.

G. Ciná and U. Endriss, Proving classical theorems of social choice theory in modal logic, Autonomous Agents and Multi-Agent Systems, vol.30, pp.963-989, 2016.

F. Dietrich and C. List, Strategy-proof judgment aggregation, Economics & Philosophy, vol.23, pp.269-300, 2007.

F. Dietrich and C. List, Judgment aggregation by quota rules: majority voting generalized, Journal of Theoretical Politics, vol.19, pp.391-424, 2007.

F. Dietrich and C. List, Judgment aggregation without full rationality, Social Choice and Welfare, vol.31, pp.15-39, 2008.

E. Dokow and R. Holzman, Aggregation of binary evaluations for truth-functional agendas, Social Choice and Welfare, vol.32, pp.221-241, 2009.

S. Doutre, A. Herzig, and L. Perrussel, 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

J. Van-eijck, Making things happen, Studia Logica, vol.66, pp.41-58, 2000.

U. Endriss, ;. Brandt, V. Conitzer, U. Endriss, J. Lang et al., Judgment aggregation, Handbook of Computational Social Choice, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01501681

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

U. Endriss, U. Grandi, and D. Porello, Complexity of judgment aggregation, Journal of Artificial Intelligence Research, vol.45, pp.481-514, 2012.

U. Endriss, U. Grandi, R. De-haan, and J. Lang, 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

M. J. Fischer and R. E. Ladner, Propositional dynamic logic of regular programs, Journal of Computer and System Sciences, vol.18, pp.194-211, 1979.

B. Gaudou, A. Herzig, E. Lorini, and C. Sibertin-blanc, 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.

C. Geist and U. Endriss, Automated search for impossibility theorems in social choice theory: ranking sets of objects, Journal of Artificial Intelligence Research, vol.40, pp.143-174, 2011.

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

U. Grandi and U. Endriss, First-order logic formalisation of impossibility theorems in preference aggregation, Journal of Philosophical Logic, vol.42, pp.595-618, 2013.

D. Grossi and G. Pigozzi, Judgment aggregation: a primer, Synthesis Lectures on Artificial Intelligence and Machine Learning, vol.8, pp.1-151, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01497079

A. Herzig, 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. Herzig, E. Lorini, F. Moisan, and N. Troquard, A dynamic logic of normative systems, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), 2011.

J. G. Kemeny, Mathematics without numbers, Daedalus, vol.88, pp.577-591, 1959.

L. A. Kornhauser and L. G. Sager, The one and the many: adjudication in collegial courts, California Law Review, vol.81, pp.1-59, 1993.

J. Lang and M. Slavkovik, 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

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

C. List and P. Pettit, Aggregating sets of judgments: an impossibility result, Economics and Philosophy, vol.18, pp.89-110, 2002.

J. Marchi, G. Bittencourt, and L. Perrussel, Prime forms and minimal change in propositional belief bases, Annals of Mathematics and Artificial Intelligence, vol.59, pp.1-45, 2010.

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

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

M. K. Miller and D. Osherson, Methods for distance-based judgment aggregation, Social Choice and Welfare, vol.32, pp.575-601, 2009.

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

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

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

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

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

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

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

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

N. Troquard, W. Van-der-hoek, and M. Wooldridge, Reasoning about social choice functions, Journal of Philosophical Logic, vol.40, pp.473-498, 2011.

M. B. Wells, Generation of permutations by transposition, Mathematics of Computation, vol.15, pp.192-195, 1961.

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