From BDI and stit to bdi-stit logic

Logic and Logical Philosophy, Tom 17, Numer 1-2 (2008) s. 185-207
Caroline Semmling, Heinrich Wansing

 

do góry