分支时间相关论文
“明天将有海战”这样的“未来偶然命题”在现在是否具有真值?为了坚持非决定论,卢卡西维茨三值逻辑对这样的命题指派非真非假的第......
<正>1.引言 时序逻辑是一种模态逻辑,不同于经典逻辑,其真假值依赖于时间而变化。对于序的数学处理,并不是静态的,它包含很重要......
双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是......