Semmling, C., & Wansing, H. (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