Properties of Logics of Individual and Group Agency
(2008) : Andreas Herzig and Fran{\c{c}}ois Schwarzentruber
url: http://www.aiml.net/volumes/volume7/
#STIT #STIT_logic #axiomatisation #complexity #decidability #deliberative_STIT #joint_action #log
#my_bibtex

On the Formal Structure of Continuous Action
(2005) : Thomas M{\"u}ller
url: http://www.aiml.net/volumes/volume5/
#STIT #STIT_logic #action #continous_action #istit #modal_logic
#my_bibtex

A Dynamic Logic of Agency I: Stit, Capabilities and Powers
(2009) : Herzig, Andreas and Lorini, Emiliano
DOI: https://doi.org/10.1007/s10849-009-9105-x
#ATL #STIT #STIT_logic #agency #coalition_logic #deontic_logic #temporal_logic
#my_bibtex