Semmling, Caroline, and Heinrich Wansing. 2008. “From BDI and Stit to Bdi-Stit Logic”. Logic and Logical Philosophy 17 (1-2):185-207. https://doi.org/10.12775/LLP.2008.011.