在这篇论文中,我们讨论若干stit逻辑的判定问题。这些逻辑的语言中除了stit算子,还包括时态算子、历史必然算子与知识算子等。本文......

连续行动是一类在时间上具有持续性的行动,而这种时间上的持续性也使得连续行动的刻画更为复杂。文章在给出连续行动的三个主要特......

在STIT逻辑当中,应做语句可被表示为O[α]dA这一形式.Belnap et al.[2001]给出了O[α]dA的三种定义方式以便于刻画应做语......

道义算子加命题构成应是语句,道义算子加行动则构成应做语句。这两类语句间的关系问题一直是道义逻辑中的重要研究课题。文章在阐......

ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......