Journal of Logic, Language and Information

, Volume 19, Issue 4, pp 485–503

Combinations of Stit and Actions


DOI: 10.1007/s10849-009-9119-4

Cite this article as:
Xu, M. J of Log Lang and Inf (2010) 19: 485. doi:10.1007/s10849-009-9119-4


We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.


StitActionLogic of agencyLogic of action

Copyright information

© Springer Science+Business Media B.V. 2010

Authors and Affiliations

  1. 1.Department of PhilosophyWuhan UniversityWuhanPeople’s Republic of China
  2. 2.Chinese Institute of Advanced StudiesCentral University of Finance and EconomicsBeijingPeople’s Republic of China