References

  1. Hajnal Andréka, István Németi & Johan van Benthem (1998): Modal Languages and Bounded Fragments of Predicate Logic. Journal of Philosophical Logic 27(3), pp. 217–274, doi:10.1023/A:1004275029985.
  2. Alexandru Baltag (2016): To Know is to Know the Value of a Variable. In: Proceedings of AiML Vol. 11, pp. 135–155. Available at http://www.aiml.net/volumes/volume11/Baltag.pdf.
  3. Francesco Belardinelli & Alessio Lomuscio (2011): First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment. Fundamenta Informaticae 106(2-4), pp. 175–190, doi:10.3233/FI-2011-382.
  4. Johan van Benthem (2010): Frame correspondences in modal predicate logic. In: Proofs, categories and computations: essays in honor of Grigori Mints. College Publications.
  5. Patrick Blackburn, Maarten de Rijke & Yde Venema (2002): Modal Logic. Cambridge University Press, doi:10.1017/CBO9781107050884.
  6. Torben Bra+.2222emuner & Silvio Ghilardi (2007): First-order modal logic. In: Handbook of Modal Logic, pp. 549–620, doi:10.1016/S1570-2464(07)80012-7.
  7. Jie Fan, Yanjing Wang & Hans van Ditmarsch (2014): Almost neccessary. In: Proceedings of AiML Vol.10, pp. 178–196. Available at http://www.aiml.net/volumes/volume10/Fan-Wang-Ditmarsch.pdf.
  8. Jie Fan, Yanjing Wang & Hans van Ditmarsch (2015): Contingency and Knowing Whether. The Review of Symbolic Logic 8, pp. 75–107, doi:10.1017/S1755020314000343.
  9. Raul Fervari, Andreas Herzig, Yanjun Li & Yanjing Wang (2017): Strategically knowing how. In: Proceedings of IJCAI '17. To appear.
  10. Melvin Fitting & Richard L. Mendelsohn (1998): First-Order Modal Logic. 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. Paul Gochet & Pascal Gribomont (2006): Epistemic Logic. In: Dov M. Gabbay & John Woods: Handbook of the History of Logic 7, doi:10.1016/S1874-5857(06)80028-2.
  13. Rajeev Goré (1999): Tableau Methods for Modal and Temporal Logics. Springer Netherlands, doi:10.1007/978-94-017-1754-0_6.
  14. Erich Grädel, Wolfgang Thomas & Thomas Wilke (2002): Automata, Logics, and Infinite Games: A Guide to Current Research. LNCS 2500. Springer, doi:10.1007/3-540-36387-4.
  15. Jeroen Groenendijk & Martin Stokhof (1982): Semantic Analysis of "Wh"-Complements. Linguistics and Philosophy 5(2), pp. 175–233, doi:10.1007/bf00351052.
  16. Tao Gu & Yanjing Wang (2016): ``Knowing value'' logic as a normal modal logic. In: Proceedings of AiML Vol.11, pp. 362–381. Available at www.aiml.net/volumes/volume11/Gu-Wang.pdf.
  17. Charles L Hamblin (1973): Questions in Montague english. Foundations of language, pp. 41–53, doi:10.1016/b978-0-12-545850-4.50014-5.
  18. Helle Hvid Hansen (2003): Monotonic Modal Logics. Universiteit van Amsterdam. Available at https://eprints.illc.uva.nl/108/.
  19. Andreas Herzig & Nicolas Troquard (2006): Knowing how to play: uniform choices in logics of agency. In: (AAMAS 2006, pp. 209–216, doi:10.1145/1160633.1160666.
  20. Jaakko Hintikka (1962): Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca N.Y., doi:10.1111/j.1468-0149.1963.tb00788.x.
  21. Ian M. Hodkinson (2002): Monodic Packed Fragment with Equality is Decidable. Studia Logica 72(2), pp. 185–197, doi:10.1023/A:1021356410579.
  22. Ian M. Hodkinson, Frank Wolter & Michael Zakharyaschev (2000): Decidable fragment of first-order temporal logics. Annals of Pure and Applied Logic 106(1-3), pp. 85–134, doi:10.2307/2695115.
  23. Ian M. Hodkinson, Frank Wolter & Michael Zakharyaschev (2002): Decidable and Undecidable Fragments of First-Order Branching Temporal Logics. In: Proceedings of LiCS'02, pp. 393–402, doi:10.1109/lics.2002.1029847.
  24. G. E. Hughes & M. J. Cresswell (1996): A New Introduction to Modal Logic. Routledge, doi:10.4324/9780203028100.
  25. Wojciech Jamroga & Thomas Ågotnes (2007): Constructive knowledge: what agents can achieve under imperfect information. Journal of Applied Non-Classical Logics 17(4), pp. 423–475, doi:10.3166/jancl.17.423-475.
  26. Wojciech Jamroga & Wiebe van der Hoek (2004): Agents that Know How to Play. Fundam. Inform. 63(2-3), pp. 185–219. Available at http://content.iospress.com/articles/fundamenta-informaticae/fi63-2-3-05.
  27. Martin Lange (2002): Games for Modal and Temporal Logics. University of Edinburgh. Available at www.lfcs.inf.ed.ac.uk/reports/03/ECS-LFCS-03-431/.
  28. Tszyuen Lau & Yanjing Wang (2016): Knowing your ability. The Philosophical Forum, pp. 415–424, doi:10.1111/phil.12130.
  29. Yanjun Li & Yanjing Wang (2017): Achieving while maintaining: A logic of knowing how with intermediate constraints. In: Proceedings of ICLA'17, pp. 154–167, doi:10.1007/978-3-662-54069-5_12.
  30. Pavel Naumov & Jia Tao: Together We Know How to Achieve: An Epistemic Logic of Know-How. In: Proceedings of TARK'17. Available at arxiv.org/abs/1705.09349.
  31. Marc Pauly (2000): From Programs to Games: Invariance and Safety for Bisimulation. In: Proceedings of CSL'00. Springer, pp. 485–496, doi:10.1007/3-540-44622-2_33.
  32. Jan Plaza (2007): Logics of public communications. Synthese 158(2), pp. 165–179, doi:10.1007/s11229-007-9168-7.
  33. Graham Priest (2008): An Introduction to Non-Classical Logic: From If to Is. Cambridge University Press, doi:10.1017/cbo9780511801174.
  34. Philipp Rohde (2002): Expressive Power of Monadic Second-Order Logic and Modal mu-Calculus. In: Automata Logics, and Infinite Games, pp. 387–393, doi:10.1007/3-540-36387-4_14.
  35. Jason Stanley (2011): Know how. Oxford University Press, doi:10.1093/acprof:oso/9780199695362.001.0001.
  36. Jason Stanley & Timothy Williamson (2001): Knowing how. The Journal of Philosophy, pp. 411–444, doi:10.2307/2678403.
  37. Wiesław Szwast & Lidia Tendera (2004): The guarded fragment with transitive guards. Annals of Pure and Applied Logic 128(1), pp. 227 – 276, doi:10.1016/j.apal.2004.01.003.
  38. Yanjing Wang (2015): A Logic of Knowing How. In: Proceedings of LORI-V, pp. 392–405, doi:10.1007/978-3-662-48561-3_32.
  39. Yanjing Wang (2016): Beyond knowing that: a new generation of epistemic logics. In: Jaakko Hintikka on knowledge and game theoretical semantics (forthcoming). Available at arxiv.org/abs/1605.01995.
  40. Yanjing Wang (2017): A logic of goal-directed knowing how. Synthese, doi:10.1007/s11229-016-1272-0. Forthcoming.
  41. 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 www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6742/6782.
  42. Yanjing Wang & Jie Fan (2014): Conditionally knowing what. In: Proceedings of AiML Vol.10, pp. 569–587. Available at www.aiml.net/volumes/volume10/Wang-Fan.pdf.
  43. Frank Wolter & Michael Zakharyaschev (2001): Decidable Fragments of First-Order Modal Logics. The Journal of Symbolic Logic 66(3), pp. 1415–1438, doi:10.2307/2695115.
  44. Chao Xu, Yanjing Wang & Thomas Studer (2016): A Logic of Knowing Why. Available at arxiv.org/abs/1609.06405. Manuscript.
  45. Reihane Zoghifard & Massoud Pourmahdian (2016): First-Order Modal Logic: Frame Definability and Lindström Theorems. Available at arxiv.org/abs/1602.00201.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org