活动类连续行动的逻辑刻画

作者：贾青

来源：哲学研究, 2022, (06): 107-127.

• 连续行动
• 活动类连续行动
• STIT逻辑

活动类连续行动的特点是其通过重复履行最小的行动单元而构成。例如约翰跑步、丽丽游泳等行动都属于活动类连续行动。本文中我们将利用STIT逻辑给出活动类连续行动的逻辑刻画。在简要说明活动类连续行动的特点以及STIT逻辑主要内容的基础上，给出刻画活动类连续行动的STIT逻辑并证明该系统的一些重要元定理。

• 单位
  中国社会科学院哲学研究所; 中国社会科学院大学