References

  1. W Lance Bennett, Alexandra Segerberg & Shawn Walker (2014): Organization in the crowd: peer production in large-scale networked protests. Information, Communication & Society 17(2), pp. 232–260, doi:10.1080/1369118X.2013.870379.
  2. Cristina Bicchieri (2005): The grammar of society: The nature and dynamics of social norms. Cambridge University Press, doi:10.1017/CBO9780511616037.
  3. M.A. Brown (1988): On the logic of ability. Journal Phil. Log. 17(1), pp. 1–26, doi:10.1007/BF00249673.
  4. Gabriella Coleman (2014): Hacker, hoaxer, whistleblower, spy: The many faces of Anonymous. Verso books.
  5. Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi (2007): Dynamic epistemic logic 337. Springer Science & Business Media, doi:10.1007/978-1-4020-5839-4.
  6. Barbara Dunin-Keplicz & Rineke Verbrugge (2011): Teamwork in multi-agent systems: A formal approach 21. John Wiley & Sons, doi:10.1002/9780470665237.
  7. Ronald Fagin & Joseph Y Halpern (1987): Belief, awareness, and limited reasoning. Artificial intelligence 34(1), pp. 39–76, doi:10.1016/0004-3702(87)90003-8.
  8. Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi (2004): Reasoning about Knowledge. MIT press, doi:10.7551/mitpress/5803.001.0001.
  9. Adam J Grove (1995): Naming and identity in epistemic logic Part II: a first-order logic for naming. Artificial Intelligence 74(2), pp. 311–350, doi:10.1016/0004-3702(95)98593-D.
  10. Adam J. Grove & Joseph Y. Halpern (1993): Naming and Identity in Epistemic Logics Part I: The Propositional Case. Journal of Logic and Computation 3(4), pp. 345–378, doi:10.1093/logcom/3.4.345.
  11. Helle Hvid Hansen (2003): Monotonic modal logics. ILLC UVA.
  12. Helle Hvid Hansen, Clemens Kupke & Eric Pacuit (2007): Bisimulation for neighbourhood structures. In: International Conference on Algebra and Coalgebra in Computer Science. Springer, pp. 279–293, doi:10.1007/978-3-540-73859-6_19.
  13. Jaakko Hintikka (1962): Knowledge and belief: An introduction to the logic of the two notions. Cornell University Press.
  14. Barteld Kooi (2007): Dynamic term-modal logic. In: A Meeting of the Minds, pp. 173–186.
  15. Björn Lellmann (2019): Combining Monotone and Normal Modal Logic in Nested Sequents – with Countermodels. In: Serenella Cerrito & Andrei Popescu: Automated Reasoning with Analytic Tableaux and Related Methods. Springer, Cham, pp. 203–220, doi:10.1007/978-3-030-29026-9_12.
  16. David Lewis (2008): Convention: A philosophical study. John Wiley & Sons.
  17. Andrés Occhipinti Liberman, Andreas Achen & Rasmus Kræmmer Rendsvig (2020): Dynamic term-modal logics for first-order epistemic planning. Artificial Intelligence 286, pp. 103305, doi:10.1016/j.artint.2020.103305.
  18. Ruth Barcan Marcus (1961): Modalities and intensional languages. Synthese, pp. 303–322, doi:10.1007/BF00486629.
  19. Yoram Moses & Mark R Tuttle (1988): Programming simultaneous actions using common knowledge. Algorithmica 3(1), pp. 121–169, doi:10.1007/BF01762112.
  20. Pavel Naumov & Jia Tao (2018): Everyone knows that someone knows: quantifiers over epistemic agents. The review of symbolic logic, doi:10.1017/S1755020318000497.
  21. Eric Pacuit (2017): Neighborhood semantics for modal logic. Springer, doi:10.1007/978-3-319-67149-9.
  22. Anantha Padmanabha & R Ramanujam (2019): Propositional modal logic with implicit modal quantification. In: Indian Conference on Logic and Its Applications. Springer, pp. 6–17, doi:10.1007/978-3-662-58771-3_2.
  23. Francesca Poggiolesi (2008): A cut-free simple sequent calculus for modal logic S5. The Review of Symbolic Logic 1(1), pp. 3–15, doi:10.1017/S1755020308080040.
  24. Olivier Roy & Anne Schwenkenbecher (2019): Shared intentions, loose groups, and pooled knowledge. Synthese, pp. 1–19, doi:10.1007/s11229-019-02355-x.
  25. David P. Schweikard & Hans Bernhard Schmid (2020): Collective Intentionality. In: Edward N. Zalta: The Stanford Encyclopedia of Philosophy, winter 2020 edition. Metaphysics Research Lab, Stanford University.
  26. Gennady Shtakser (2018): Propositional epistemic logics with quantification over agents of knowledge. Studia Logica 106(2), pp. 311–344, doi:10.1007/s11225-017-9741-0.
  27. Robert Stalnaker (2006): On logics of knowledge and belief. Philosophical studies 128(1), pp. 169–199, doi:10.1007/s11098-005-4062-y.
  28. Georg H Von Wright (1954): An essay in modal logic. North Holland.
  29. Yanjing Wang & Jeremy Seligman (2018): When names are not commonly known: epistemic logic with assignments. In: Guram Bezhanishvili, Giovanna D'Agostino, George Metcalfe & Thomas Studer: Proceedings of AiML 2018.
  30. Yì N Wáng & Thomas Ågotnes (2020): Simpler completeness proofs for modal logics with intersection. In: International Workshop on Dynamic Logic. Springer, pp. 259–276, doi:10.1007/978-3-030-65840-3_16.
  31. Timothy Williamson (2002): Knowledge and its Limits. Oxford University Press, doi:10.1093/019925656X.001.0001.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org