@inproceedings(BMS,
 author       = {A~Baltag and L~Moss and S~Solecki},
 year         = {1998},
 title        = {{The logic of public announcements, common knowledge, and private suspicions}},
 booktitle    = {Proceedings of TARK '98},
 publisher    = {Morgan Kaufmann Publishers Inc.},
 pages        = {43--56},
)
@inproceedings(Baltag16,
 author       = {Alexandru Baltag},
 year         = {2016},
 title        = {{To Know is to Know the Value of a Variable}},
 booktitle    = {Advances in Modal Logic Vol. 11},
 pages        = {135--155},
 url          = {http://www.aiml.net/volumes/volume11/Baltag.pdf},
)
@article(Belardinelli_2017,
 author       = {Francesco Belardinelli and Hans van Ditmarsch and Wiebe van~der Hoek},
 year         = {2017},
 title        = {A Logic for Global and Local Announcements},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {251},
 pages        = {28\IeC{\textendash}42},
 doi          = {10.4204/eptcs.251.3},
)
@article(LCC,
 author       = {J~van Benthem and J~van Eijck and B~Kooi},
 year         = {2006},
 title        = {{Logics of communication and change}},
 journal      = {Information and Computation},
 volume       = {204},
 number       = {11},
 pages        = {1620--1662},
 doi          = {10.1016/j.ic.2006.04.006},
)
@article(MergingJournal09,
 author       = {J~van Benthem and J~Gerbrandy and T~Hoshi and E~Pacuit},
 year         = {2009},
 title        = {{Merging Frameworks for Interaction}},
 journal      = {Journal of Philosophical Logic},
 volume       = {38},
 number       = {5},
 pages        = {491--526},
 doi          = {10.1007/s10992-008-9099-x},
)
@article(Cohen2020-COHOU-2,
 author       = {Michael Cohen},
 year         = {2020},
 title        = {Opaque Updates},
 journal      = {Journal of Philosophical Logic},
 pages        = {1--24},
 doi          = {10.1007/s10992-020-09571-8},
)
@article(corsi2013free,
 author       = {Giovanna Corsi and Eugenio Orlandelli},
 year         = {2013},
 title        = {{Free quantified epistemic logics}},
 journal      = {Studia Logica},
 volume       = {101},
 number       = {6},
 pages        = {1159--1183},
 doi          = {10.1007/s11225-013-9528-x},
)
@book(DELbook,
 author       = {H~van Ditmarsch and W~van~der Hoek and B~Kooi},
 year         = {2007},
 title        = {{Dynamic Epistemic Logic}},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4020-5839-4},
)
@book(ELbook,
 editor       = {Hans van Ditmarsch and Joseph Halpern and Wiebe van~der Hoek and Barteld Kooi},
 year         = {2015},
 title        = {{Handbook of Epistemic Logic}},
 publisher    = {College Publications},
)
@book(Fitting98,
 author       = {Melvin. Fitting and Richard~L Mendelsohn},
 year         = {1998},
 title        = {{First-order modal logic}},
 series       = {Synthese Library},
 publisher    = {Springer},
 doi          = {10.1007/978-94-011-5292-1},
)
@inproceedings(GvEW16,
 author       = {Malvin Gattinger and Jan van Eijck and Yanjing Wang},
 year         = {2017},
 title        = {{Knowing Values and Public Inspection}},
 booktitle    = {Proceedings of ICLA'17},
 pages        = {77--90},
 doi          = {10.1007/978-3-662-54069-5\_7},
)
@article(SG82,
 author       = {Jeroen Groenendijk and Martin Stokhof},
 year         = {1982},
 title        = {{Semantic Analysis of "Wh"-Complements}},
 journal      = {Linguistics and Philosophy},
 volume       = {5},
 number       = {2},
 pages        = {175--233},
 doi          = {10.1007/BF00351052},
)
@article(grove1993naming,
 author       = {Adam~J Grove and Joseph~Y Halpern},
 year         = {1993},
 title        = {{Naming and identity in epistemic logics part I: the propositional case}},
 journal      = {Journal of Logic and Computation},
 volume       = {3},
 number       = {4},
 pages        = {345--378},
 doi          = {10.1093/logcom/3.4.345},
)
@book(HKT200mit,
 author       = {D~Harel and D~Kozen and J~Tiuryn},
 year         = {2000},
 title        = {{Dynamic Logic}},
 publisher    = {MIT Press},
 doi          = {10.7551/mitpress/2516.001.0001},
)
@article(Hintikka95:KAK,
 author       = {Jaakko Hintikka},
 year         = {1996},
 title        = {{Knowledge Acknowledged: Knowledge of Propositions vs. Knowledge of Objects}},
 journal      = {Philosophy and Phenomenological Research},
 volume       = {56},
 number       = {2},
 pages        = {251--275},
 doi          = {10.2307/2108519},
)
@incollection(Hintikka2003,
 author       = {Jaakko Hintikka},
 year         = {2003},
 title        = {{A Second Generation Epistemic Logic and its General Significance}},
 editor       = {Vincent~F Hendricks and J{\o}rgensen, Klaus~Frovin and Stig~Andur Pedersen},
 booktitle    = {Knowledge Contributors},
 publisher    = {Springer},
 pages        = {33--55},
 doi          = {10.1007/978-94-007-1001-6\_3},
)
@incollection(HollidayP2014,
 author       = {Wesley~H Holliday and John Perry},
 year         = {2014},
 title        = {{Roles, Rigidity, and Quantification in Epistemic Logic}},
 editor       = {Alexandru Baltag and Sonja Smets},
 booktitle    = {Johan van Benthem on Logic and Information Dynamics},
 publisher    = {Springer},
 pages        = {591--629},
 doi          = {10.1007/978-3-319-06025-5\_22},
)
@article(Jackson1986-JACWMD,
 author       = {Frank Jackson},
 year         = {1986},
 title        = {What Mary Didn't Know},
 journal      = {Journal of Philosophy},
 volume       = {83},
 number       = {5},
 pages        = {291--295},
 doi          = {10.2307/2026143},
)
@inproceedings(kooi2007dynamic,
 author       = {Barteld Kooi},
 year         = {2007},
 title        = {Dynamic term-modal logic},
 booktitle    = {Proceeedings of LORI-I},
)
@article(Lewis1979-LEWADD,
 author       = {David Lewis},
 year         = {1979},
 title        = {Attitudes de Dicto and de Se},
 journal      = {Philosophical Review},
 volume       = {88},
 number       = {4},
 pages        = {513--543},
 doi          = {10.2307/2184843},
)
@inproceedings(Rendsvig2019termLogicSocialNetwork,
 author       = {{Andr{\'e}s Occhipinti} Liberman and {Rasmus K.} Rendsvig},
 year         = {2019},
 title        = {Dynamic Term-Modal Logic for Epistemic Social Network Dynamics},
 booktitle    = {Proceedings of LORI-VII},
 publisher    = {Springer},
 pages        = {168--182},
 doi          = {10.1007/978-3-662-60292-8\_13},
)
@article(OcchipintiLiberman2020,
 author       = {Occhipinti~Liberman, Andr{\'{e}}s and Andreas Achen and Rasmus~Kr{\ae}mmer Rendsvig},
 year         = {2020},
 title        = {{Dynamic term-modal logics for first-order epistemic planning}},
 journal      = {Artificial Intelligence},
 volume       = {286},
 pages        = {103305},
 doi          = {10.1016/j.artint.2020.103305},
)
@inproceedings(Padmanabha2018,
 author       = {Anantha Padmanabha and R.~Ramanujam and Yanjing Wang},
 year         = {2018},
 title        = {{Bundled fragments of first-order modal logic: (un)decidability}},
 booktitle    = {Proceedings of FSTTCS '18},
 doi          = {10.4230/LIPIcs.FSTTCS.2018.43},
)
@inproceedings(Plaza89:lopc,
 author       = {J~A Plaza},
 year         = {1989},
 title        = {{Logics of public communications}},
 booktitle    = {Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems},
 pages        = {201--216},
)
@techreport(Pratt76:PDL,
 author       = {V~R Pratt},
 year         = {1976},
 title        = {Semantical considerations on Floyd-Hoare Logic},
 type         = {Technical Report},
 address      = {Cambridge, MA, USA},
)
@inproceedings(Rendsvig2010,
 author       = {Rasmus~K. Rendsvig},
 year         = {2010},
 title        = {{Epistemic Term-Modal Logic}},
 editor       = {Marija Slavkovik},
 booktitle    = {Proceedings of Student Session of ESSLLI 2010},
 pages        = {37--46},
)
@article(STALNAKER1968,
 author       = {Robert Stalnaker and Richmond Thomason},
 year         = {1968},
 title        = {{Abstraction in First-Order Modal Logic}},
 journal      = {Theoria},
 volume       = {34},
 number       = {3},
 pages        = {203--207},
 doi          = {10.1111/j.1755-2567.1968.tb00351.x},
)
@article(stanley2001knowing,
 author       = {Jason Stanley and Timothy Williamson},
 year         = {2001},
 title        = {{Knowing how}},
 journal      = {The Journal of Philosophy},
 pages        = {411--444},
 doi          = {10.2307/2678403},
)
@inproceedings(Wang17d,
 author       = {Yanjing Wang},
 year         = {2017},
 title        = {{A New Modal Framework for Epistemic Logic}},
 booktitle    = {Proceedings of TARK '07},
 pages        = {515--534},
 doi          = {10.4204/EPTCS.251.38},
)
@incollection(WangBKT,
 author       = {Yanjing Wang},
 year         = {2018},
 title        = {Beyond knowing that: A new generation of epistemic logics},
 booktitle    = {Jaakko Hintikka on Knowledge and Game-Theoretical Semantics},
 publisher    = {Springer},
 pages        = {499--533},
 doi          = {10.1007/978-3-319-62864-6\_21},
)
@inproceedings(WA13,
 author       = {Yanjing Wang and Guillaume Aucher},
 year         = {2013},
 title        = {{An Alternative Axiomatization of \texttt{DEL} and Its Applications}},
 booktitle    = {IJCAI},
 pages        = {1147--1154},
 url          = {https://www.ijcai.org/Proceedings/13/Papers/172.pdf},
)
@article(WC12,
 author       = {Yanjing Wang and Qinxiang Cao},
 year         = {2013},
 title        = {{On axiomatizations of public announcement logic}},
 journal      = {Synthese},
 volume       = {190},
 number       = {1S},
 pages        = {103--134},
 doi          = {10.1007/s11229-012-0233-5},
)
@inproceedings(WF13,
 author       = {Yanjing Wang and Jie Fan},
 year         = {2013},
 title        = {{Knowing That, Knowing What, and Public Communication: Public Announcement Logic with \texttt{Kv} Operators}},
 booktitle    = {Proceedings of IJCAI'13},
 pages        = {1139--1146},
 url          = {https://www.ijcai.org/Proceedings/13/Papers/173.pdf},
)
@inproceedings(WF14,
 author       = {Yanjing Wang and Jie Fan},
 year         = {2014},
 title        = {{Conditionally knowing what}},
 booktitle    = {Advances in Modal Logic Vol.10},
 pages        = {569--587},
 url          = {http://www.aiml.net/volumes/volume10/Wang-Fan.pdf},
)
@inproceedings(Wangnames,
 author       = {Yanjing Wang and Jeremy Seligman},
 year         = {2018},
 title        = {When Names Are Not Commonly Known: Epistemic Logic with Assignments},
 booktitle    = {Advances in Modal Logic 12},
 publisher    = {College Publications},
 pages        = {611--628},
 url          = {http://www.aiml.net/volumes/volume12/Wang-Seligman.pdf},
)
@(WangWeiSel,
 author       = {Yanjing Wang and Yu~Wei and Jeremy Seligman},
 year         = {2021},
 title        = {Quantifier-free Epistemic Term-modal Logic with Assignments},
 note         = {Manuscript, under submission},
)