References

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