@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},
}