Alexandru Baltag (2016):
To Know is to Know the Value of a Variable.
In: Advances in Modal Logic 11.
College Publications,
London,
pp. 135–155.
Available at http://www.aiml.net/volumes/volume11/Baltag.pdf.
Jon Barwise & Jerry Seligman (1997):
Information flow: the logic of distributed systems.
Cambridge University Press,
New York, NY, USA,
doi:10.1017/CBO9780511895968.
Patrick Blackburn, Maarten de Rijke & Yde Venema (2001):
Modal Logic.
Cambridge Tracts in Theoretical Computer Science 53.
Cambridge University Press,
Cambridge,
doi:10.1017/CBO9781107050884.
Mika Cohen & Mads Dam (2007):
A Complete Axiomatization of Knowledge and Cryptography.
In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings.
IEEE,
California,
pp. 77–88,
doi:10.1109/LICS.2007.4.
Nachum Dershowitz (1982):
Orderings for term-rewriting systems.
Theoretical Computer Science 17(3),
pp. 279–301,
doi:10.1016/0304-3975(82)90026-3.
Yifeng Ding (2016):
Epistemic Logic with Functional Dependency Operator.
Studies in Logic 9(4),
pp. 55–84.
Available at https://arxiv.org/abs/1706.02048.
Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge & Yanjing Wang (2014):
Hidden protocols: Modifying our expectations in an evolving world.
Artificial Intelligence 208,
pp. 18–40,
doi:10.1016/j.artint.2013.12.001.
Hans van Ditmarsch, Wiebe van der Hoek & Barteld Kooi (2007):
Dynamic epistemic logic 1.
Springer Heidelberg,
Dordrecht,
doi:10.1007/978-1-4020-5839-4.
Jan van Eijck, Malvin Gattinger & Yanjing Wang (2017):
Knowing Values and Public Inspection.
In: Sujata Ghosh & Sanjiva Prasad: Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 77–90,
doi:10.1007/978-3-662-54069-5_7.
Miriam Franchella (1997):
On the origins of Dénes König's infinity lemma.
Archive for History of Exact Sciences 51,
pp. 3–27,
doi:10.1007/BF00376449.
Edmund L. Gettier (1963):
Is Justified True Belief Knowledge?.
Analysis 23(6),
pp. 121–123,
doi:10.1093/analys/23.6.121.
Joseph Y. Halpern & Willemien Kets (2014):
A logic for reasoning about ambiguity.
Artificial Intelligence 209,
pp. 1–10,
doi:10.1016/j.artint.2013.12.003.
Mamoru Kaneko (2004):
Game Theory and Mutual Misunderstanding.
Springer,
Berlin, Heidelberg,
doi:10.1007/b138120.
Louwe B. Kuijer (2013):
Sequent Systems for Nondeterministic Propositional Logics without Reflexivity.
In: Davide Grossi, Olivier Roy & Huaxin Huang: Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013,
pp. 190–203,
doi:10.1007/978-3-642-40948-6_15.
Dénes Kőnig (1927):
Über eine Schlu\IeCß weise aus dem Endlichen ins Unendliche.
Acta Litterarum ac Scientiarum, Szeged 3,
pp. 121–130.
Fenrong Liu & Yanjing Wang (2013):
Reasoning About Agent Types and the Hardest Logic Puzzle Ever.
Minds and Machines 23(1),
pp. 123–161,
doi:10.1007/s11023-012-9287-x.
Jan Plaza (1989):
Logics of public communications.
In: Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems.
North-Holland,
New York,
pp. 201–216.
Republished in Plaza2007:LoPC..
Jan Plaza (2007):
Logics of public communications.
Synthese 158(2),
pp. 165–179,
doi:10.1007/s11229-007-9168-7.
R. Ramanujam & S. P. Suresh (2005):
Decidability of context-explicit security protocols.
Journal of Computer Security 13(1),
pp. 135–165,
doi:10.3233/JCS-2005-13106.
Yanjing Wang (2011):
Reasoning about Protocol Change and Knowledge.
In: Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings.
Springer,
Berlin, Heidelberg,
pp. 189–203,
doi:10.1007/978-3-642-18026-2_16.
Yanjing Wang & Qinxiang Cao (2013):
On axiomatizations of public announcement logic.
Synthese 190,
pp. 103–134,
doi:10.1007/s11229-012-0233-5.
Yanjing Wang & Jie Fan (2013):
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators..
In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI '13).
International Joint Conferences on Artificial Intelligence Organization,
California,
pp. 1147–1154.
Available at https://www.ijcai.org/Proceedings/13/Papers/173.pdf.
eptcs@eptcs.org