Semmling, C. and Wansing, H. 2008. From BDI and stit to bdi-stit logic. Logic and Logical Philosophy. 17, 1-2 (Jun. 2008), 185–207. DOI:https://doi.org/10.12775/LLP.2008.011.