Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Semmling, Caroline and Wansing, Heinrich Theodor. 2009. “A Sound and Complete Axiomatic System of bdi-stit Logic.” in The Logica Yearbook 2008, edited by Michal Peliš, pp. 193–210. London: College Publications.