书眉模态逻辑讲义-中山大学逻辑与认知研究所.pdfVIP

模态逻辑讲义 （2006 年 ） 李 小 五 编 著 中山大学逻辑与认知研究所 第 1 章 公理化系统 在 章§ 1 我们给 出模态语言和模态公式，讨论它们的语 形特性，引入刻画模态的公理和推理规则，然后定义 书主要 关注 的公理化系统，并定义相对模态系统的形式证明和推演概 念 。最后我们证明这些系统是协调和和谐的。