可检索词： （英文）题名=T 作者=A 关键词=K 摘要=R 机构=O 主题=S 刊名=M 分类号=N
检索规则说明： [&]代表"并且"；[|]代表"或者"；[!]代表"不包含" (运算符两边不需要空格)
检索范例： 范例一：(k=科技[|]k=技术)[&]t=范并思 范例二：t=计算机应用与软件[&](R=C++[|]R=Basic)[!]t=西华师范大学
主办单位：
出版地：
ISSN：
主编：
邮发代号：
中图分类号： 选择
作 者： ;
机构地区： 华南师范大学
出 处： 《哲学研究》 2011年第1期101-106,共6页
摘 要： 一般地说，一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是由自由逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。大多数逻辑学家所讨论的模态谓词逻辑其实是一阶模态逻辑。
关 键 词： 模态逻辑 谓词逻辑 自由 指称 命题逻辑 一阶逻辑 逻辑学家
分 类 号： [TP18]
领 域： []
