对双时间参数理论的改进——从分支时间到分支时空

双时间参数理论由贝尔纳普于2001年提出,该理论使用不同的语义解释参数构建以言行事行为的语境,以确定以言行事行为是否成功或者是否被满足。但是贝尔纳普在构建语境时却忽略了地点这一重要的语境参数,而这也导致了双时间参数理论对以言行事行为的成功以及满足条件的不完善刻画。本文中,作者就将提出一个对双时间参数理论的改进方案。文章中,第一节将在简要介绍双时间参数理论以及其中问题的基础上,给出修正方案的大体思路,即将双时间参数理论的基础由分支时间逻辑变为分支时空逻辑,文章第二节将介绍分支时空逻辑中的主要内容,而第三节则说明如何在分支时空逻辑上使用P_（STIT）算子刻画群体行动的问题。第四节将具体介绍作者所给出的对双时间参数理论的修正方案。文章最后一节则是待解决的问题以及进一步的工作。