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