模态逻辑讲义

模态逻辑讲义（2006年）李小五　编著中山大学逻辑与认知研究所第1章　公理化系统在本章§1我们给出模态语言和模态公式，讨论它们的语形特性，引入刻画模态的公理和推理规则，然后定义本书主要关注的公理化系