@article(aa16jlc,
 author       = {{\r A}gotnes, Thomas and Natasha Alechina},
 year         = {2019},
 title        = {Coalition Logic with Individual, Distributed and Common Knowledge},
 journal      = {Journal of Logic and Computation},
 volume       = {29},
 pages        = {1041--1069},
 doi          = {10.1093/logcom/exv085},
)
@article(abvs10jal,
 author       = {{\r A}gotnes, Thomas and Philippe Balbiani and Hans van Ditmarsch and Pablo Seban},
 year         = {2010},
 title        = {Group announcement logic},
 journal      = {Journal of Applied Logic},
 volume       = {8},
 number       = {1},
 pages        = {62 -- 81},
 doi          = {10.1016/j.jal.2008.12.002},
)
@article(b46jsl,
 author       = {Ruth C Barcan},
 year         = {1946},
 title        = {A functional calculus of first order based on strict implication},
 journal      = {The Journal of Symbolic Logic},
 volume       = {11},
 number       = {01},
 pages        = {1--16},
 doi          = {10.2307/2269159},
)
@article(bp11sl,
 author       = {Johan van Benthem and Eric Pacuit},
 year         = {2011},
 title        = {Dynamic logics of evidence-based beliefs},
 journal      = {Studia Logica},
 volume       = {99},
 number       = {1-3},
 pages        = {61--92},
 doi          = {10.1007/s11225-011-9347-x},
)
@book(dhk07,
 author       = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi},
 year         = {2007},
 title        = {Dynamic Epistemic Logic},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@book(fhmv95,
 author       = {Ronald Fagin and Joseph Y. Halpern and Yoram Moses and Moshe Y. Vardi},
 year         = {1995},
 title        = {Reasoning about knowledge},
 publisher    = {MIT Press},
 address      = {Cambridge, MA},
 doi          = {10.7551/mitpress/5803.001.0001},
)
@article(hp06jair,
 author       = {Joseph Y. Halpern and Riccardo Pucella},
 year         = {2006},
 title        = {A Logic for Reasoning About Evidence},
 journal      = {J. Artif. Int. Res.},
 volume       = {26},
 number       = {1},
 pages        = {1--34},
 doi          = {10.1613/jair.1838},
)
@book(h62,
 author       = {Jaakko Hintikka},
 year         = {1962},
 title        = {Knowledge and Belief - An Introduction to the Logic of the Two Notions},
 series       = {Contemporary philosophy},
 publisher    = {Cornell University Press},
 address      = {Ithaca, NY},
 doi          = {10.2307/2217611},
)
@misc(k76,
 author       = {F von Kutschera},
 year         = {1976},
 title        = {Einf{\"u}hrung in die intensional Semantik},
)
@article(l78,
 author       = {Wolfgang Lenzen},
 year         = {1978},
 title        = {Recent Work in Epistemic Logic},
 journal      = {Acta Philosophica Fennica},
 volume       = {30},
 number       = {1},
 pages        = {1--219},
)
@book(mv04,
 author       = {John-Jules Ch. Meyer and Wiebe van der Hoek},
 year         = {2004},
 title        = {Epistemic Logic for AI and Computer Science},
 publisher    = {Cambridge University Press},
)
@inproceedings(nt15aamas,
 author       = {Pavel Naumov and Jia Tao},
 year         = {2015},
 title        = {Budget-Constrained Knowledge in Multiagent Systems},
 booktitle    = {Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS)},
 organization = {International Foundation for Autonomous Agents and Multiagent Systems},
 pages        = {219--226},
)
@article(nt17jal,
 author       = {Pavel Naumov and Jia Tao},
 year         = {2017},
 title        = {Price of privacy},
 journal      = {Journal of Applied Logic},
 volume       = {20},
 pages        = {32--48},
 doi          = {10.1016/j.jal.2016.11.035},
)
@article(p56jsl,
 author       = {Arthur N Prior},
 year         = {1956},
 title        = {Modality and quantification in {S}5},
 journal      = {The Journal of Symbolic Logic},
 volume       = {21},
 number       = {01},
 pages        = {60--62},
 doi          = {10.2307/2268488},
)
@article(s06ps,
 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},
)