@incollection{Seligmanetal11, author = {Jeremy Seligman and Fenrong Liu and Patrick Girard}, booktitle = {Logic and Its Applications}, date-added = {2015-09-19 15:24:52 +0000}, date-modified = {2015-09-19 15:24:52 +0000}, doi = {10.1007/978-3-642-18026-2\_15}, editor = {Mohua Banerjee and Anil Seth}, isbn = {978-3-642-18025-5}, pages = {178--188}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, title = {{Logic in the Community}}, volume = {6521}, year = {2011}, } @article{Seligmanetal:synthese, author = {Fenrong Liu and Jeremy Seligman and Patrick Girard}, journal = {Synthese}, number = {11}, pages = {2403--2431}, publisher = {Springer}, title = {{Logical dynamics of belief change in the community}}, volume = {191}, year = {2014}, } @phdthesis{ZoePhD, author = {Christoff, Zo\'{e}}, address = {Amsterdam, The Netherlands}, school = {Institute for logic, Language and Computation, University of Amsterdam}, note = {ILLC Dissertation Series DS-2016-02}, title = {{Dynamic Logics of Networks: Information Flow and the Spread of Opinion}}, year = {2016}, } @inproceedings{JvBoscillations, author = {{Johan van} Benthem}, booktitle = {The Facts Matter. Essays on Logic and Cognition in Honour of Rineke Verbrugge}, editor = {Sujata Ghosh and Jakub Szymanik}, publisher = {College Publications}, pages = {9-22}, title = {{Oscillations, Logic, and Dynamical Systems}}, year = {2015}, } @article{grandi13lifting, author = {Umberto Grandi and Ulle Endriss}, title = {{Lifting integrity constraints in binary aggregation}}, journal = {Artif. Intell.}, volume = {199}, pages = {45--66}, year = {2013}, url = {http://dx.doi.org/10.1016/j.artint.2013.05.001}, doi = {10.1016/j.artint.2013.05.001}, timestamp = {Thu, 12 Dec 2013 17:21:36 +0100}, biburl = {http://dblp.uni-trier.de/rec/bib/journals/ai/GrandiE13}, bibsource = {dblp computer science bibliography, http://dblp.org}, } @article{DeGroot, author = {Morris H. De{G}root}, date-added = {2015-09-19 15:24:52 +0000}, date-modified = {2015-09-19 15:24:52 +0000}, journal = {Journal of the American Statistical Association}, number = {345}, pages = {118--121}, publisher = {The American Statistical Association}, title = {{Reaching a Consensus}}, volume = {69}, year = {1974}, } @book{jackson08social, author = {Jackson, Matthew O.}, title = {{Social and Economic Networks}}, year = {2008}, isbn = {0691134405, 9780691134406}, publisher = {Princeton University Press}, address = {Princeton, NJ, USA}, } @article{Grossi_2014, doi = {10.2200/s00559ed1v01y201312aim027}, url = {http://dx.doi.org/10.2200/s00559ed1v01y201312aim027}, year = {2014}, month = {mar}, publisher = {Morgan {\&} Claypool Publishers {LLC}}, volume = {8}, number = {2}, pages = {1--151}, author = {Davide Grossi and Gabriella Pigozzi}, title = {{Judgment Aggregation: A Primer}}, journal = {Synthesis Lectures on Artificial Intelligence and Machine Learning}, } @incollection{Christoff_2013, doi = {10.1007/978-3-642-40948-6_6}, url = {http://dx.doi.org/10.1007/978-3-642-40948-6_6}, year = {2013}, publisher = {Springer Science $\mathplus$ Business Media}, pages = {68--81}, author = {Zo{\'{e}} Christoff and Jens Ulrik Hansen}, title = {{A Two-Tiered Formalization of Social Influence}}, booktitle = {Logic Rationality, and Interaction}, } @article{Christoff_2015, doi = {10.1016/j.jal.2014.11.011}, url = {http://dx.doi.org/10.1016/j.jal.2014.11.011}, year = {2015}, month = {mar}, publisher = {Elsevier {BV}}, volume = {13}, number = {1}, pages = {48--77}, author = {Zo{\'{e}} Christoff and Jens Ulrik Hansen}, title = {{A logic for diffusion in social networks}}, journal = {Journal of Applied Logic}, } @article{Golub_2010, doi = {10.1257/mic.2.1.112}, url = {http://dx.doi.org/10.1257/mic.2.1.112}, year = {2010}, month = {feb}, publisher = {American Economic Association}, volume = {2}, number = {1}, pages = {112--149}, author = {Benjamin Golub and Matthew O Jackson}, title = {{Naïve Learning in Social Networks and the Wisdom of Crowds}}, journal = {American Economic Journal: Microeconomics}, } @inproceedings{Grandi:2015:POD:2772879.2773278, author = {Grandi, Umberto and Lorini, Emiliano and Perrussel, Laurent}, title = {{Propositional Opinion Diffusion}}, booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems}, series = {AAMAS '15}, year = {2015}, isbn = {978-1-4503-3413-6}, location = {Istanbul, Turkey}, pages = {989--997}, numpages = {9}, url = {http://dl.acm.org/citation.cfm?id=2772879.2773278}, acmid = {2773278}, publisher = {International Foundation for Autonomous Agents and Multiagent Systems}, address = {Richland, SC}, keywords = {formal models of agency, reasoning in agent-based systems, social choice theory, social networks, trust and reputation}, } @inproceedings{Walukiewicz, doi = {10.1109/lics.1993.287593}, url = {http://dx.doi.org/10.1109/lics.1993.287593}, publisher = {Institute of Electrical {\&} Electronics Engineers ({IEEE})}, author = {I. Walukiewicz}, title = {{On completeness of the mu -calculus}}, booktitle = {[1993] Proceedings Eighth Annual {IEEE} Symposium on Logic in Computer Science}, } @incollection{Streett_1984, doi = {10.1007/3-540-13345-3_43}, url = {http://dx.doi.org/10.1007/3-540-13345-3_43}, year = {1984}, publisher = {Springer Science $\mathplus$ Business Media}, pages = {465--472}, author = {Robert S. Streett and E. Allen Emerson}, title = {{The propositional mu-calculus is elementary}}, booktitle = {Automata Languages and Programming}, } @article{Gr_del_1999, doi = {10.1016/s0304-3975(98)00308-9}, url = {http://dx.doi.org/10.1016/s0304-3975(98)00308-9}, year = {1999}, month = {aug}, publisher = {Elsevier {BV}}, volume = {224}, number = {1-2}, pages = {73--113}, author = {Erich Grädel and Martin Otto}, title = {{On logics with two variables}}, journal = {Theoretical Computer Science}, } @article{Emerson_2001, doi = {10.1016/s0304-3975(00)00034-7}, url = {http://dx.doi.org/10.1016/s0304-3975(00)00034-7}, year = {2001}, month = {may}, publisher = {Elsevier {BV}}, volume = {258}, number = {1-2}, pages = {491--522}, author = {E.Allen Emerson and Charanjit S. Jutla and A.Prasad Sistla}, title = {{On model checking for the $\upmu$-calculus and its fragments}}, journal = {Theoretical Computer Science}, } @article{Walukiewicz_2000, doi = {10.1006/inco.1999.2836}, url = {http://dx.doi.org/10.1006/inco.1999.2836}, year = {2000}, month = {feb}, publisher = {Elsevier {BV}}, volume = {157}, number = {1-2}, pages = {142--182}, author = {Igor Walukiewicz}, title = {{Completeness of Kozen{\textquotesingle}s Axiomatisation of the Propositional $\upmu$-Calculus}}, journal = {Information and Computation}, } @incollection{Stirling_2001, doi = {10.1007/978-1-4757-3550-5_5}, url = {http://dx.doi.org/10.1007/978-1-4757-3550-5_5}, year = {2001}, publisher = {Springer Science $\mathplus$ Business Media}, pages = {103--132}, author = {Colin Stirling}, title = {{Modal Mu-Calculus}}, booktitle = {Texts in Computer Science}, } @incollection{Janin_1996, doi = {10.1007/3-540-61604-7_60}, url = {http://dx.doi.org/10.1007/3-540-61604-7_60}, year = {1996}, publisher = {Springer Science $\mathplus$ Business Media}, pages = {263--277}, author = {David Janin and Igor Walukiewicz}, title = {{On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic}}, booktitle = {{CONCUR} {\textquotesingle}96: Concurrency Theory}, } @book{Blackburn_2001, doi = {10.1017/cbo9781107050884}, url = {http://dx.doi.org/10.1017/cbo9781107050884}, year = {2001}, publisher = {Cambridge University Press ({CUP})}, author = {Patrick Blackburn and Maarten de Rijke and Yde Venema}, title = {{Modal Logic}}, } @article{List_2010, doi = {10.1111/j.1467-9760.2010.00369.x}, url = {http://dx.doi.org/10.1111/j.1467-9760.2010.00369.x}, year = {2010}, month = {oct}, publisher = {Wiley-Blackwell}, volume = {19}, number = {1}, pages = {1--27}, author = {Christian List}, title = {{Group Communication and the Transformation of Judgments: An Impossibility Result{\ast}}}, journal = {Journal of Political Philosophy}, } @article{Boldi_2011, doi = {10.1145/1953122.1953154}, url = {http://dx.doi.org/10.1145/1953122.1953154}, year = {2011}, month = {jun}, publisher = {Association for Computing Machinery ({ACM})}, volume = {54}, number = {6}, pages = {129}, author = {Paolo Boldi and Francesco Bonchi and Carlos Castillo and Sebastiano Vigna}, title = {{Viscous democracy for social networks}}, journal = {Communications of the {ACM}}, } @article{Green_Armytage_2014, doi = {10.1007/s10602-014-9176-9}, url = {http://dx.doi.org/10.1007/s10602-014-9176-9}, year = {2014}, month = {dec}, publisher = {Springer Science $\mathplus$ Business Media}, volume = {26}, number = {2}, pages = {190--220}, author = {James Green-Armytage}, title = {{Direct voting and proxy voting}}, journal = {Const Polit Econ}, } @article{Tullock_1992, doi = {10.1016/0895-7177(92)90087-2}, url = {http://dx.doi.org/10.1016/0895-7177(92)90087-2}, year = {1992}, month = {aug}, publisher = {Elsevier {BV}}, volume = {16}, number = {8-9}, pages = {59--65}, author = {Gordon Tullock}, title = {{Computerizing politics}}, journal = {Mathematical and Computer Modelling}, } @article{Miller_1969, doi = {10.1007/bf01718736}, url = {http://dx.doi.org/10.1007/bf01718736}, year = {1969}, month = {sep}, publisher = {Springer Science $\mathplus$ Business Media}, volume = {7-7}, number = {1}, pages = {107--113}, author = {James C. Miller}, title = {{A program for direct and proxy voting in the legislative process}}, journal = {Public Choice}, } @article{Alger_2006, doi = {10.1007/s11127-006-3059-1}, url = {http://dx.doi.org/10.1007/s11127-006-3059-1}, year = {2006}, month = {jan}, publisher = {Springer Science $\mathplus$ Business Media}, volume = {126}, number = {1-2}, pages = {1--26}, author = {Dan Alger}, title = {{Voting by proxy}}, journal = {Public Choice}, } @article{liquid_feedback, author = {Behrens, J. and Kistner, A. and Nitsche, A. and Swierczek, B.}, title = {{Principles of Liquid Feedback}}, year = {2014}, publisher = {Interaktieve Demokratie}, } @inproceedings{Emerson96, author = {E. Allen Emerson}, title = {{Model Checking and the Mu-calculus}}, booktitle = {Descriptive Complexity and Finite Models, Proceedings of a {DIMACS}}, } @article{Degroot_1974, doi = {10.1080/01621459.1974.10480137}, url = {http://dx.doi.org/10.1080/01621459.1974.10480137}, year = {1974}, month = {mar}, publisher = {Informa {UK} Limited}, volume = {69}, number = {345}, pages = {118--121}, author = {Morris H. Degroot}, title = {{Reaching a Consensus}}, journal = {Journal of the American Statistical Association}, } @article{Grandi_2013, doi = {10.1016/j.artint.2013.05.001}, url = {http://dx.doi.org/10.1016/j.artint.2013.05.001}, year = {2013}, month = {jun}, publisher = {Elsevier {BV}}, volume = {199-200}, pages = {45--66}, author = {Umberto Grandi and Ulle Endriss}, title = {{Lifting integrity constraints in binary aggregation}}, journal = {Artificial Intelligence}, }