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