简介：真值语义将逻辑联结词都解释为真值联结词,是一种简明的外延形式语义。真值语义面临的主要问题是：逻辑联结词→、的真值解释,与对应的日常联结词＂如果,那么＂和＂当且仅当＂产生了距离。直观推理语义关注逻辑联结词→、的推理涵义,借助日常语言来阐释逻辑表达式的具体内容,重视表达式的内涵。使用直观推理语义,检验逻辑表达式的直观有效性,有助于实现逻辑学家的目标和理想：有效的推理形式应普遍适用于各种场合的日常推理。
简介：模态逻辑不仅涉及逻辑的可能性,也涉及事实的可能性,两者存在着重要的差异;在对"罗斯悖论"的剖析中引入可能算子,通过对道义悖论作时态的分析,以辨明义务的相对性,是消除道义悖论的一条可行的途径.
演绎逻辑的真值语义和直观推理语义
广义模态逻辑研究中的若干问题
