Stit Semantics for Epistemic Notions Based on Information Disclosure in Interactive Settings

  • Aldo Iván Ramírez AbarcaEmail author
  • Jan Broersen
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 12005)


We characterize four types of agentive knowledge using a stit semantics over branching discrete-time structures. These are ex ante knowledge, ex interim knowledge, ex post knowledge, and know-how. The first three are notions that arose from game-theoretical analyses on the stages of information disclosure across the decision making process, and the fourth has gained prominence both in logics of action and in deontic logic as a means to formalize ability. In recent years, logicians in AI have argued that any comprehensive study of responsibility attribution and blameworthiness should include proper treatment of these kinds of knowledge. This paper intends to clarify previous attempts to formalize them in stit logic and to propose alternative interpretations that in our opinion are more akin to the study of responsibility in the stit tradition. The logic we present uses an extension with knowledge operators of the Xstit language, and formulas are evaluated with respect to branching discrete-time models. We also present an axiomatic system for this logic, and address its soundness and completeness.


  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, pp. 543–589. College Publications (2015)Google Scholar
  2. 2.
    Aumann, R.J., Dreze, J.H.: Rational expectations in games. Am. Econ. Rev. 98(1), 72–86 (2008)CrossRefGoogle Scholar
  3. 3.
    Belnap, N., Perloff, M., Xu, M.: Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press, Oxford (2001)Google Scholar
  4. 4.
    Boudou, J., Lorini, E.: Concurrent game structures for temporal STIT logic. In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, pp. 381–389. International Foundation for Autonomous Agents and Multiagent Systems (2018)Google Scholar
  5. 5.
    Broersen, J.: A complete STIT logic for knowledge and action, and some of its applications. In: Baldoni, M., Son, T.C., van Riemsdijk, M.B., Winikoff, M. (eds.) DALT 2008. LNCS, vol. 5397, pp. 47–59. Springer, Heidelberg (2009). Scholar
  6. 6.
    Broersen, J.: Deontic epistemic STIT logic distinguishing modes of mens rea. J. Appl. Log. 9(2), 137–152 (2011)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Broersen, J., Ramírez Abarca, A.I.: Formalising oughts and practical knowledge without resorting to action types. In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, pp. 1877–1879. International Foundation for Autonomous Agents and Multiagent Systems (2018)Google Scholar
  8. 8.
    Duijf, H.: Let’s do it!: collective responsibility, joint action, and participation. Ph.D. thesis, Utrecht University (2018)Google Scholar
  9. 9.
    Fantl, J.: Knowing-how and knowing-that. Philos. Compass 3(3), 451–470 (2008)CrossRefGoogle Scholar
  10. 10.
    Herzig, A., Troquard, N.: Knowing how to play: uniform choices in logics of agency. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 209–216. ACM (2006)Google Scholar
  11. 11.
    van der Hoek, W., Wooldridge, M.: Cooperation, knowledge, and time: alternating-time temporal epistemic logic and its applications. Stud. Logica. 75(1), 125–157 (2003)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Horty, J.: Epistemic oughts in STIT semantics. In: Deontic Logic and Normative Systems. Proceedings of DEON 2018, pp. 157–176 (2016)Google Scholar
  13. 13.
    Horty, J., Pacuit, E.: Action types in STIT semantics. Rev. Symb. Log. (2017, forthcoming)Google Scholar
  14. 14.
    Lorini, E.: Temporal logic and its application to normative reasoning. J. Appl. Non-Class. Log. 23(4), 372–399 (2013)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Lorini, E., Longin, D., Mayor, E.: A logical analysis of responsibility attribution: emotions, individuals and collectives. J. Log. Comput. 24(6), 1313–1339 (2014)MathSciNetCrossRefGoogle Scholar
  16. 16.
    Naumov, P., Tao, J.: Coalition power in epistemic transition systems. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, pp. 723–731. International Foundation for Autonomous Agents and Multiagent Systems (2017)Google Scholar
  17. 17.
    Naumov, P., Tao, J.: Together we know how to achieve: an epistemic logic of know-how. arXiv preprint arXiv:1705.09349 (2017)
  18. 18.
    Payette, G.: Decidability of an Xstit logic. Stud. Logica. 102(3), 577–607 (2014)MathSciNetCrossRefGoogle Scholar
  19. 19.
    Ryle, G.: The Concept of Mind. Routledge, Abingdon (2009)CrossRefGoogle Scholar
  20. 20.
    Schwarzentruber, F.: Complexity results of STIT fragments. Stud. Logica. 100(5), 1001–1045 (2012)MathSciNetCrossRefGoogle Scholar
  21. 21.
    Van De Putte, F., Tamminga, A., Duijf, H.: Doing without nature. In: Baltag, A., Seligman, J., Yamada, T. (eds.) LORI 2017. LNCS, vol. 10455, pp. 209–223. Springer, Heidelberg (2017). Scholar
  22. 22.
    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). Scholar
  23. 23.
    Xu, M.: Combinations of STIT with ought and know. J. Philos. Log. 44(6), 851–877 (2015). Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Utrecht UniversityUtrechtThe Netherlands

Personalised recommendations