Thomas Ågotnes & Natasha Alechina (2019):
Coalition Logic with Individual, Distributed and Common Knowledge.
Journal of Logic and Computation 29,
pp. 1041–1069,
doi:10.1093/logcom/exv085.
Thomas Ågotnes, Philippe Balbiani, Hans van Ditmarsch & Pablo Seban (2010):
Group announcement logic.
Journal of Applied Logic 8(1),
pp. 62 – 81,
doi:10.1016/j.jal.2008.12.002.
Ruth C Barcan (1946):
A functional calculus of first order based on strict implication.
The Journal of Symbolic Logic 11(01),
pp. 1–16,
doi:10.2307/2269159.
Johan van Benthem & Eric Pacuit (2011):
Dynamic logics of evidence-based beliefs.
Studia Logica 99(1-3),
pp. 61–92,
doi:10.1007/s11225-011-9347-x.
Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi (2007):
Dynamic Epistemic Logic.
Springer,
doi:10.1007/978-1-4020-5839-4.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (1995):
Reasoning about knowledge.
MIT Press,
Cambridge, MA,
doi:10.7551/mitpress/5803.001.0001.
Joseph Y. Halpern & Riccardo Pucella (2006):
A Logic for Reasoning About Evidence.
J. Artif. Int. Res. 26(1),
pp. 1–34,
doi:10.1613/jair.1838.
Jaakko Hintikka (1962):
Knowledge and Belief - An Introduction to the Logic of the Two Notions.
Contemporary philosophy.
Cornell University Press,
Ithaca, NY,
doi:10.2307/2217611.
F von Kutschera (1976):
Einführung in die intensional Semantik.
Wolfgang Lenzen (1978):
Recent Work in Epistemic Logic.
Acta Philosophica Fennica 30(1),
pp. 1–219.
John-Jules Ch. Meyer & Wiebe van der Hoek (2004):
Epistemic Logic for AI and Computer Science.
Cambridge University Press.
Pavel Naumov & Jia Tao (2015):
Budget-Constrained Knowledge in Multiagent Systems.
In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems (AAMAS).
International Foundation for Autonomous Agents and Multiagent Systems,
pp. 219–226.
Pavel Naumov & Jia Tao (2017):
Price of privacy.
Journal of Applied Logic 20,
pp. 32–48,
doi:10.1016/j.jal.2016.11.035.
Arthur N Prior (1956):
Modality and quantification in S5.
The Journal of Symbolic Logic 21(01),
pp. 60–62,
doi:10.2307/2268488.
Robert Stalnaker (2006):
On logics of knowledge and belief.
Philosophical studies 128(1),
pp. 169–199,
doi:10.1007/s11098-005-4062-y.
eptcs@eptcs.org