一个意图后承的形式理论(Ⅱ)——基于相关性的刻画

摘要：

本文通过引入相关性，给出Lm4c+后承的一个基于经典逻辑概念的形式刻画，进而给出“愿望保持性”和“承诺可传递性”的一个统一的形式规范，从而为“意图调整”提供了理论支持。

关键词：意图后承、愿望保持性、承诺可传递性、形式化

所属期刊栏目：18

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

资助基金：国家自然科学基金69875017

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

页数：共4页

页码：19-22