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

摘要：

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

关键词：连续行动、活动类连续行动、STIT逻辑

分类号：B813(逻辑学(论理学))

在线出版日期：2022-07-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：107-116