基础认知词模态逻辑

自然语言处理涉及推理,出于可实现性的考虑,为之建立逻辑系统需顾及表达力与复杂性之间的平衡。本文给出了一类简单的模态逻辑,它们刻画了认知词一个基本的性质——有限性,统一得到了它们的完全性,并且证明它们都是可判定的。