从事实逻辑到任务逻辑

摘要：

在经典命题逻辑语言中引入附加算子冂,较系统地研究近几年刚刚被提出的任务逻辑.这里把公式理解为"任务",介绍了"任务逻辑"的语义理论,并从语构上定义形式系统L与之对应,证明该系统的可靠性、完备性及可判定性定理,最后建立系统L中的一系列基本定理.

关键词：任务逻辑、附加算子、附加度、实现、最终状态、可完成的、行动策略

所属期刊栏目：18

分类号：O141.1(数理逻辑、数学基础)

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

页数：共8页

页码：1-8