论文部分内容阅读
在STIT逻辑当中,应做语句可被表示为O[α]dA这一形式.Belnap et al.[2001]给出了O[α]dA的三种定义方式以便于刻画应做语句.本文中,将在这三种定义方式的基础上给出STIT逻辑系统Ldo,进而给出应是语句与应做语句间关系的不同刻画方式.除此之外,还将说明这个STIT系统相较于其他系统的优势.文章最后则是一些未解决的问题和未来的工作.