在STIT逻辑当中,应做语句可被表示为O[α]dA这一形式.Belnap et al.[2001]给出了O[α]dA的三种定义方式以便于刻画应做语......
道义算子加命题构成应是语句,道义算子加行动则构成应做语句。这两类语句间的关系问题一直是道义逻辑中的重要研究课题。文章在阐......
作为校长。赢得教师的心,才能赢得学校事业的发展。本文以名人之说、理论原理及实践的体会.以阐明这个道理。......
技术规律是技术发展的不同形态与不同阶段之间稳定的、必然的联系,它是以技术原理为依托不断发展完善的一个动态的过程概念。技术......