Semmling C, Wansing H. From BDI and stit to bdi-stit logic. LLP [Internet]. 2008 Jun. 19 [cited 2024 Apr. 27];17(1-2):185-207. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2008.011