熊立文 刘新文 熊明 马明辉 吴新民

模态逻辑学 命题变元 逻辑哲学 逻辑方法 自由出现 符号化 《教程》 模态逻辑语义学 变元 谓词逻辑 量词依赖 程序语言 “存在” 命题动态逻辑 模型论 伦理学研究 辩证逻辑 逻辑学 逻辑量词 内涵语义 三题 关系结构 逻辑常项 自由逻辑 自然语言 形式逻辑 外延语义 经典命题逻辑 命题演算 联结词