A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

  • Jan Broersen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5397)


This paper presents a complete temporal STIT logic for reasoning about multi-agency. I discuss its application for reasoning about norms, knowledge, autonomy, and other multi-agent concepts. Also I give some arguments in favor of taking STIT formalisms instead of dynamic logics as the basis for logics for representing multi-agent system notions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the 38th IEEE Symposium on Foundations of Computer Science, Florida (October 1997)Google Scholar
  2. 2.
    Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM 49(5), 672–713 (2002)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Anderson, A.R.: A reduction of deontic logic to alethic modal logic. Mind 67, 100–103 (1958)CrossRefGoogle Scholar
  4. 4.
    Balbiani, P., Gasquet, O., Herzig, A., Schwarzentruber, F., Troquard, N.: Coalition games over Kripke semantics: expressiveness and complexity. In: Dègremont, C., Keiff, L., Rückert, H. (eds.) Festschrift in Honour of Shahid Rahman, College Publications (to appear, 2008)Google Scholar
  5. 5.
    Bartha, P.: Conditional obligation, deontic paradoxes, and the logic of agency. Annals of Mathematics and Artificial Intelligence 9(1-2), 1–23 (1993)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Belnap, N., Perloff, M., Xu, M.: Facing the future: agents and choices in our indeterminist world, Oxford (2001)Google Scholar
  7. 7.
    Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)CrossRefMATHGoogle Scholar
  8. 8.
    Broersen, J.M.: Modal Action Logics for Reasoning about Reactive Systems. PhD thesis, Faculteit der Exacte Wetenschappen, Vrije Universiteit Amsterdam, februari (2003)Google Scholar
  9. 9.
    Broersen, J.M.: Relativized action negation for dynamic logics. In: Balbiani, P., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol. 4, pp. 51–70 (2003)Google Scholar
  10. 10.
    Broersen, J.M., Herzig, A., Troquard, N.: A normal simulation of coalition logic and an epistemic extension. In: Proceedings Theoretical Aspects Rationality and Knowledge (TARK XI), Brussels (2007)Google Scholar
  11. 11.
    Broersen, J.M., Herzig, A., Troquard, N.: From coalition logic to STIT. In: Proceedings LCMAS 2005. Electronic Notes in Theoretical Computer Science, vol. 157, pp. 23–35. Elsevier, Amsterdam (2005)Google Scholar
  12. 12.
    Broersen, J.M., Herzig, A., Troquard, N.: Embedding Alternating-time Temporal Logic in strategic STIT logic of agency. Journal of Logic and Computation 16(5), 559–578 (2006)MathSciNetCrossRefMATHGoogle Scholar
  13. 13.
    Broersen, J., Herzig, A., Troquard, N.: A STIT-extension of ATL. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS, vol. 4160, pp. 69–81. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  14. 14.
    Conradie, W., Goranko, V., Vakarelov, D.: Algorithmic correspondence and completeness in modal logic I: The core algorithm SQEMA. Logical Methods in Computer Science 2(1), 1–26 (2006)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Danecki, R.: Nondeterministic propositional dynamic logic with intersection is decidable. In: Skowron, A. (ed.) SCT 1984. LNCS, vol. 208, pp. 34–53. Springer, Heidelberg (1985)CrossRefGoogle Scholar
  16. 16.
    Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, ch. 14, pp. 996–1072. Elsevier, Amsterdam (1990)Google Scholar
  17. 17.
    Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyachev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)MATHGoogle Scholar
  18. 18.
    van Glabbeek, R.J.: Comparative Concurrency Semantics and Refinement of Actions, 2nd edn. CWI Tract, vol. 109. CWI, Amsterdam (1996)MATHGoogle Scholar
  19. 19.
    Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge (2000)MATHGoogle Scholar
  20. 20.
    Herzig, A., Troquard, N.: Knowing How to Play: Uniform Choices in Logics of Agency. In: Weiss, G., Stone, P. (eds.) 5th International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS 2006), Hakodate, Japan, pp. 209–216. ACM Press, New York (2006)CrossRefGoogle Scholar
  21. 21.
    Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)CrossRefMATHGoogle Scholar
  22. 22.
    Meyer, J.-J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29, 109–136 (1988)MathSciNetCrossRefMATHGoogle Scholar
  23. 23.
    Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)MathSciNetCrossRefMATHGoogle Scholar
  24. 24.
    Peleg, D.: Communication in concurrent dynamic logic. Journal of Computer and System Sciences 35, 23–58 (1987)MathSciNetCrossRefMATHGoogle Scholar
  25. 25.
    Pratt, V.R.: Semantical considerations on Floyd-Hoare logic. In: Proceedings 17th IEEE Symposium on the Foundations of Computer Science, pp. 109–121. IEEE Computer Society Press, Los Alamitos (1976)Google Scholar
  26. 26.
    Wansing, H.: Obligations, authorities, and history dependence. In: Wansing, H. (ed.) Essays on Non-classical Logic, pp. 247–258. World Scientific, Singapore (2001)CrossRefGoogle Scholar
  27. 27.
    Wansing, H.: On the negation of action types: Constructive concurrent PDL. In: Valdes-Villanueva, L., Hájek, P., Westerstahl, D. (eds.) Proceedings of the Twelfth International Congress of Logic Methodology and Philosophy of Science (LMPS 2003), pp. 207–225. King’s College Publications (2005) (invited lecture)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Jan Broersen
    • 1
  1. 1.Department of Information and Computing SciencesUtrecht UniversityUtrechtThe Netherlands

Personalised recommendations