Achieving While Maintaining:

A Logic of Knowing How with Intermediate Constraints
  • Yanjun LiEmail author
  • Yanjing Wang
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10119)


In this paper, we propose a ternary knowing how operator to express that the agent knows how to achieve \(\varphi \) given \(\psi \) while maintaining \(\chi \) in-between. It generalizes the logic of goal-directed knowing how proposed by Wang in [10]. We give a sound and complete axiomatization of this logic.


  1. 1.
    Ågotnes, T., Goranko, V., Jamroga, W., Wooldridge, M.: Knowledge and ability. In: van Ditmarsch, H., Halpern, J., van der Hoek, W., Kooi, B. (eds.), Handbook of Epistemic Logic, chapter 11, pp. 543–589. College Publications (2015)Google Scholar
  2. 2.
    Fan, J., Wang, Y., van Ditmarsch, H.: Almost necessary. Adv. Modal Logic 10, 178–196 (2014)MathSciNetGoogle Scholar
  3. 3.
    Fan, J., Wang, Y., van Ditmarsch, H.: Contingency and knowing whether. Rev. Symbolic Logic 8, 75–107 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Gochet, P.: An open problem in the logic of knowing how. In: Hintikka, J. (ed.), Open Problems in Epistemology. The Philosophical Society of Finland (2013)Google Scholar
  5. 5.
    Gu, T., Wang, Y.: Knowing value logic as a normal modal logic. In: Beklemishev, L., Demri, S., Máté, A. (eds.) Advances in Modal Logic, vol. 11, pp. 362–381 (2016)Google Scholar
  6. 6.
    Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. Cornell University Press, Ithaca (1962)Google Scholar
  7. 7.
    Lau, T., Wang, Y.: Knowing your ability. The Philosophical Forum (2016, forthcoming)Google Scholar
  8. 8.
    Smith, D.E., Weld, D.S.: Conformant graphplan. In: AAAI, vol. 98, pp. 889–896 (1998)Google Scholar
  9. 9.
    von Wright, G.H.: An Essay in Modal Logic. North Holland, Amsterdam (1951)zbMATHGoogle Scholar
  10. 10.
    Wang, Y.: A logic of knowing how. In: van der Hoek, W., Holliday, W.H., Wang, W. (eds.) LORI 2015. LNCS, vol. 9394, pp. 392–405. Springer, Heidelberg (2015). doi: 10.1007/978-3-662-48561-3_32 CrossRefGoogle Scholar
  11. 11.
    Wang, Y.: Representing imperfect information of procedures with hyper models. In: Banerjee, M., Krishna, S.N. (eds.) ICLA 2015. LNCS, vol. 8923, pp. 218–231. Springer, Heidelberg (2015). doi: 10.1007/978-3-662-45824-2_16 Google Scholar
  12. 12.
    Wang, Y.: Beyond knowing that: a new generation of epistemic logics. In: van Ditmarsch, H., Sandu, G. (eds.), Jaakko Hintikka on knowledge and game theoretical semantics. Springer, Heidelberg (2016, forthcoming)Google Scholar
  13. 13.
    Wang, Y., Fan, J.: Knowing that, knowing what, and public communication: public announcement logic with Kv operators. Proc. IJCAI 13, 1147–1154 (2013)Google Scholar
  14. 14.
    Wang, Y., Fan, J.: Conditionally knowing what. Adv. Modal Logic 10, 569–587 (2014)MathSciNetGoogle Scholar
  15. 15.
    Yu, Q., Li, Y., Wang, Y.: A dynamic epistemic framework for conformant planning. In: Proceedings of TARK 2015, pp. 298–318 (2015). EPTCS 2016Google Scholar

Copyright information

© Springer-Verlag GmbH Germany 2017

Authors and Affiliations

  1. 1.Faculty of PhilosophyUniversity of GroningenGroningenThe Netherlands
  2. 2.Department of PhilosophyPeking UniversityBeijingChina

Personalised recommendations