西格伯格把行动后果的传递性作为动态行动逻辑的一个公理,这似乎没有什么问题。然而,切拉斯发现,这种行动后果的传递性在技术上会导致一个"行动传递怪论"的公式。通过还原切拉斯的分析,表明切拉斯的推导在技术上是可靠的。但如果分析西格伯格行动传递公理的内涵以及行动传递怪论产生的原因,可以发现切拉斯的反驳是不能成立的。在此基础上,文章尝试在动态行动语义模型上增加一个条件,从而为行动传递怪论给出一种技术的解决。
科研之友
微信
新浪微博
Facebook
分享链接
