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.


Modal Logic Actual World Atomic Proposition Deontic Logic Dynamic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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