{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T06:49:51Z","timestamp":1778914191819,"version":"3.51.4"},"reference-count":47,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2018,8,15]],"date-time":"2018-08-15T00:00:00Z","timestamp":1534291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"name":"IDEX UNITI"},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-11-IDEX-0022-02"],"award-info":[{"award-number":["ANR-11-IDEX-0022-02"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10,23]]},"DOI":"10.1093\/logcom\/exy024","type":"journal-article","created":{"date-parts":[[2018,8,1]],"date-time":"2018-08-01T11:45:45Z","timestamp":1533123945000},"page":"1471-1498","source":"Crossref","is-referenced-by-count":2,"title":["Judgment aggregation in dynamic logic of propositional assignments"],"prefix":"10.1093","volume":"28","author":[{"given":"Arianna","family":"Novaro","sequence":"first","affiliation":[{"name":"Department of Computer Science, IRIT, University of Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umberto","family":"Grandi","sequence":"additional","affiliation":[{"name":"Department of Computer Science, IRIT, University of Toulouse, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Herzig","sequence":"additional","affiliation":[{"name":"Department of Computer Science, IRIT, CNRS, Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"key":"key\n\t\t\t\t20181024125323165_C1","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s10458-009-9115-8","article-title":"On the logic of preference and judgment aggregation","volume":"22","author":"\u00c5gotnes","year":"2011","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"key\n\t\t\t\t20181024125323165_C2","volume-title":"Handbook of Social Choice and Welfare","author":"Arrow","year":"2002"},{"key":"key\n\t\t\t\t20181024125323165_C3","article-title":"Dynamic logic of propositional assignments: a well-behaved variant of PDL","author":"Balbiani","year":"2013","journal-title":"Proceedings of the 28th Annual ACM\/IEEE Symposium on Logic in Computer Science, (LICS)"},{"key":"key\n\t\t\t\t20181024125323165_C4","doi-asserted-by":"crossref","unstructured":"S. J. Brams and P. C.Fishburn. Voting procedures. In Handbook of Social Choice and Welfare, vol. 1, pp. 173\u2013236. Elsevier, 2002.","DOI":"10.1016\/S1574-0110(02)80008-X"},{"key":"key\n\t\t\t\t20181024125323165_C5","article-title":"Proving the incompatibility of efficiency and strategyproofness via SMT solving","author":"Brandl","year":"2016","journal-title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI)"},{"key":"key\n\t\t\t\t20181024125323165_C6","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1613\/jair.4959","article-title":"Finding strategyproof social choice functions via SAT solving","volume":"55","author":"Brandt","year":"2016","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"key\n\t\t\t\t20181024125323165_C7","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1016\/j.mathsocsci.2016.09.003","article-title":"Optimal bounds for the no-show paradox via SAT solving","volume":"90","author":"Brandt","year":"2017","journal-title":"Mathematical Social Sciences"},{"key":"key\n\t\t\t\t20181024125323165_C8","unstructured":"G. Cin\u00e1 and U.Endriss. A syntactic proof of Arrow\u2019s theorem in a modal logic of social choice functions. In Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, (AAMAS). 2015."},{"key":"key\n\t\t\t\t20181024125323165_C9","doi-asserted-by":"crossref","first-page":"963","DOI":"10.1007\/s10458-016-9328-6","article-title":"Proving classical theorems of social choice theory in modal logic","volume":"30","author":"Cin\u00e1","year":"2016","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"key\n\t\t\t\t20181024125323165_C10","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1017\/S0266267107001496","article-title":"Strategy-proof judgment aggregation","volume":"23","author":"Dietrich","year":"2007","journal-title":"Economics & Philosophy"},{"key":"key\n\t\t\t\t20181024125323165_C11","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1177\/0951629807080775","article-title":"Judgment aggregation by quota rules: majority voting generalized","volume":"19","author":"Dietrich","year":"2007","journal-title":"Journal of Theoretical Politics"},{"key":"key\n\t\t\t\t20181024125323165_C12","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/s00355-007-0260-1","article-title":"Judgment aggregation without full rationality","volume":"31","author":"Dietrich","year":"2008","journal-title":"Social Choice and Welfare"},{"key":"key\n\t\t\t\t20181024125323165_C13","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/s00355-008-0320-1","article-title":"Aggregation of binary evaluations for truth-functional agendas","volume":"32","author":"Dokow","year":"2009","journal-title":"Social Choice and Welfare"},{"key":"key\n\t\t\t\t20181024125323165_C14","unstructured":"S. Doutre , A.Herzig and L.Perrussel. A dynamic logic framework for abstract argumentation. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR). 2014."},{"key":"key\n\t\t\t\t20181024125323165_C15","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1023\/A:1026792711025","article-title":"Making things happen","volume":"66","author":"van Eijck","year":"2000","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20181024125323165_C16","volume-title":"Handbook of Computational Social Choice","author":"Endriss","year":"2016"},{"key":"key\n\t\t\t\t20181024125323165_C17","doi-asserted-by":"crossref","unstructured":"U. Endriss and U.Grandi. Binary Aggregation by selection of the most representative voter. In Proceedings of the 28th AAAI Conference on Artificial Intelligence, (AAAI). 2014.","DOI":"10.1609\/aaai.v28i1.8798"},{"key":"key\n\t\t\t\t20181024125323165_C18","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1613\/jair.3708","article-title":"Complexity of judgment aggregation","volume":"45","author":"Endriss","year":"2012","journal-title":"Journal of Artificial Intelligence Research"},{"key":"key\n\t\t\t\t20181024125323165_C19","unstructured":"U. Endriss , U.Grandi, R.de Haan and J.Lang. Succinctness of languages for judgment aggregation. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR). 2016."},{"key":"key\n\t\t\t\t20181024125323165_C20","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","article-title":"Propositional dynamic logic of regular programs","volume":"18","author":"Fischer","year":"1979","journal-title":"Journal of Computer and System Sciences"},{"key":"key\n\t\t\t\t20181024125323165_C21","article-title":"How to do social simulation in logic: modelling the segregation game in a dynamic logic of assignments","author":"Gaudou","year":"2011","journal-title":"Proceedings of the 12th International Workshop on Multi-Agent Systems and Agent-Based Simulation"},{"key":"key\n\t\t\t\t20181024125323165_C22","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1613\/jair.3126","article-title":"Automated search for impossibility theorems in social choice theory: ranking sets of objects","volume":"40","author":"Geist","year":"2011","journal-title":"Journal of Artificial Intelligence Research"},{"key":"key\n\t\t\t\t20181024125323165_C23","unstructured":"U. Grandi and U.Endriss. Binary aggregation with integrity constraints. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI). 2011."},{"key":"key\n\t\t\t\t20181024125323165_C24","doi-asserted-by":"crossref","first-page":"595","DOI":"10.1007\/s10992-012-9240-8","article-title":"First-order logic formalisation of impossibility theorems in preference aggregation","volume":"42","author":"Grandi","year":"2013","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20181024125323165_C25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2200\/S00559ED1V01Y201312AIM027","article-title":"Judgment aggregation: a primer","volume":"8","author":"Grossi","year":"2014","journal-title":"Synthesis Lectures on Artificial Intelligence and Machine Learning"},{"key":"key\n\t\t\t\t20181024125323165_C26","doi-asserted-by":"crossref","unstructured":"A. Herzig . Belief change operations: a short history of nearly everything, told in dynamic logic of propositional assignments. In Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR). 2014.","DOI":"10.1007\/978-3-319-04939-7_19"},{"key":"key\n\t\t\t\t20181024125323165_C27","unstructured":"A. Herzig , E.Lorini, F.Moisan and N.Troquard. A dynamic logic of normative systems. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI). 2011."},{"key":"key\n\t\t\t\t20181024125323165_C28","first-page":"577","article-title":"Mathematics without numbers","volume":"88","author":"Kemeny","year":"1959","journal-title":"Daedalus"},{"key":"key\n\t\t\t\t20181024125323165_C29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/3480783","article-title":"The one and the many: adjudication in collegial courts","volume":"81","author":"Kornhauser","year":"1993","journal-title":"California Law Review"},{"key":"key\n\t\t\t\t20181024125323165_C30","article-title":"How hard is it to compute majority-preserving judgment aggregation rules?","volume-title":"Proceedings of the 21st European Conference on Artificial Intelligence (ECAI)","author":"Lang","year":"2014"},{"key":"key\n\t\t\t\t20181024125323165_C31","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s11229-011-0025-3","article-title":"The theory of judgment aggregation: an introductory review","volume":"187","author":"List","year":"2012","journal-title":"Synthese"},{"key":"key\n\t\t\t\t20181024125323165_C32","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1017\/S0266267102001098","article-title":"Aggregating sets of judgments: an impossibility result","volume":"18","author":"List","year":"2002","journal-title":"Economics and Philosophy"},{"key":"key\n\t\t\t\t20181024125323165_C33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10472-010-9206-x","article-title":"Prime forms and minimal change in propositional belief bases","volume":"59","author":"Marchi","year":"2010","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"key\n\t\t\t\t20181024125323165_C34","doi-asserted-by":"crossref","unstructured":"P. Marquis . Consequence finding algorithms. In Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp. 41\u2013145. Springer, 2000.","DOI":"10.1007\/978-94-017-1737-3_3"},{"key":"key\n\t\t\t\t20181024125323165_C35","doi-asserted-by":"crossref","first-page":"680","DOI":"10.2307\/1907651","article-title":"A set of independent necessary and sufficient conditions for simple majority decision","volume":"20","author":"May","year":"1952","journal-title":"Econometrica: Journal of the Econometric Society"},{"key":"key\n\t\t\t\t20181024125323165_C36","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/s00355-008-0340-x","article-title":"Methods for distance-based judgment aggregation","volume":"32","author":"Miller","year":"2009","journal-title":"Social Choice and Welfare"},{"key":"key\n\t\t\t\t20181024125323165_C37","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/s10817-009-9147-4","article-title":"Social choice theory in HOL: Arrow and Gibbard-Satterthwaite","volume":"43","author":"Nipkow","year":"2009","journal-title":"Journal of Automated Reasoning"},{"key":"key\n\t\t\t\t20181024125323165_C38","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s11229-006-9079-z","article-title":"Axiomatizing collective judgment sets in a minimal logical language","volume":"158","author":"Pauly","year":"2007","journal-title":"Synthese"},{"key":"key\n\t\t\t\t20181024125323165_C39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10849-016-9235-x","article-title":"Natural deduction for modal logic of judgment aggregation","volume":"25","author":"Perkov","year":"2016","journal-title":"Journal of Logic Language and Information"},{"key":"key\n\t\t\t\t20181024125323165_C40","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1080\/11663081.2017.1368846","article-title":"Judgement aggregation in non-classical logics","volume":"27","author":"Porello","year":"2017","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"key\n\t\t\t\t20181024125323165_C41","article-title":"Semantical considerations on Floyd-Hoare logic","author":"Pratt","year":"1976","journal-title":"Proceedings of the 17th Annual Symposium on Foundations of Computer Science (FOCS)"},{"key":"key\n\t\t\t\t20181024125323165_C42","doi-asserted-by":"crossref","first-page":"719","DOI":"10.2307\/2526229","article-title":"The single profile analogues to multi profile theorems: mathematical logic\u2019s approach","volume":"25","author":"Rubinstein","year":"1984","journal-title":"International Economic Review"},{"key":"key\n\t\t\t\t20181024125323165_C43","doi-asserted-by":"crossref","first-page":"1041","DOI":"10.1016\/j.artint.2009.02.005","article-title":"Computer-aided proofs of Arrow\u2019s and other impossibility theorems","volume":"173","author":"Tang","year":"2009","journal-title":"Artificial Intelligence"},{"key":"key\n\t\t\t\t20181024125323165_C44","article-title":"Logics of social choice and perspectives on their software implementation.","volume-title":"Accompanying notes for the Schloss Dagstuhl Seminar 11101","author":"Troquard","year":"2011"},{"key":"key\n\t\t\t\t20181024125323165_C45","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1007\/s10992-011-9189-z","article-title":"Reasoning about social choice functions","volume":"40","author":"Troquard","year":"2011","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20181024125323165_C46","first-page":"192","article-title":"Generation of permutations by transposition","volume-title":"Mathematics of Computation","author":"Wells","year":"1961"},{"key":"key\n\t\t\t\t20181024125323165_C47","doi-asserted-by":"crossref","first-page":"171","DOI":"10.2478\/v10037-007-0020-9","article-title":"Arrow\u2019s impossibility theorem","volume":"15","author":"Wiedijk","year":"2007","journal-title":"Formalized Mathematics"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/28\/7\/1471\/26152930\/exy024.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,28]],"date-time":"2022-08-28T15:37:11Z","timestamp":1661701031000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/28\/7\/1471\/5074605"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8,15]]},"references-count":47,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2018,8,15]]},"published-print":{"date-parts":[[2018,10,23]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exy024","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2018,10]]},"published":{"date-parts":[[2018,8,15]]}}}