Alexandru Baltag
2016
To Know is to Know the Value of a Variable
Advances in Modal Logic
11
College Publications
London
135–155
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
10.1017/CBO9780511895968
Patrick Blackburn
Maarten de Rijke
Yde Venema
2001
Modal Logic
Cambridge Tracts in Theoretical Computer Science
53
Cambridge University Press
Cambridge
10.1017/CBO9781107050884
Mika Cohen
Mads Dam
2007
A Complete Axiomatization of Knowledge and Cryptography
22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings
IEEE
California
77–88
10.1109/LICS.2007.4
Nachum Dershowitz
1982
Orderings for term-rewriting systems
Theoretical Computer Science
17
3
279–301
10.1016/0304-3975(82)90026-3
Yifeng Ding
2016
Epistemic Logic with Functional Dependency Operator
Studies in Logic
9
4
55–84
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
18–40
10.1016/j.artint.2013.12.001
Hans van Ditmarsch
Wiebe van der Hoek
Barteld Kooi
2007
Dynamic epistemic logic
1
Springer Heidelberg
Dordrecht
10.1007/978-1-4020-5839-4
Jan van Eijck
Malvin Gattinger
Yanjing Wang
2017
Knowing Values and Public Inspection
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
77–90
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
3–27
10.1007/BF00376449
Edmund L. Gettier
1963
Is Justified True Belief Knowledge?
Analysis
23
6
121–123
10.1093/analys/23.6.121
Joseph Y. Halpern
Willemien Kets
2014
A logic for reasoning about ambiguity
Artificial Intelligence
209
1–10
10.1016/j.artint.2013.12.003
Mamoru Kaneko
2004
Game Theory and Mutual Misunderstanding
Springer
Berlin, Heidelberg
10.1007/b138120
Louwe B. Kuijer
2013
Sequent Systems for Nondeterministic Propositional Logics without Reflexivity
Davide Grossi
Olivier Roy
Huaxin Huang
Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013
190–203
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
121–130
Fenrong Liu
Yanjing Wang
2013
Reasoning About Agent Types and the Hardest Logic Puzzle Ever
Minds and Machines
23
1
123–161
10.1007/s11023-012-9287-x
Jan Plaza
1989
Logics of public communications
Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems
North-Holland
New York
201–216
Republished in Plaza2007:LoPC.
Jan Plaza
2007
Logics of public communications
Synthese
158
2
165–179
10.1007/s11229-007-9168-7
R. Ramanujam
S. P. Suresh
2005
Decidability of context-explicit security protocols
Journal of Computer Security
13
1
135–165
10.3233/JCS-2005-13106
Yanjing Wang
2011
Reasoning about Protocol Change and Knowledge
Logic and Its Applications - 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings
Springer
Berlin, Heidelberg
189–203
10.1007/978-3-642-18026-2_16
Yanjing Wang
Qinxiang Cao
2013
On axiomatizations of public announcement logic
Synthese
190
103–134
10.1007/s11229-012-0233-5
Yanjing Wang
Jie Fan
2013
Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators.
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI '13)
International Joint Conferences on Artificial Intelligence Organization
California
1147–1154
https://www.ijcai.org/Proceedings/13/Papers/173.pdf