|
|||||
|
|
| 模态对应理论述评 | |
| 作者姓名： | 马明辉 刘新文 |
| 作者单位： | 西南大学逻辑与智能研究所;中国社会科学院哲学研究研究所 |
| 基金项目： | 重庆市重点文科基地项目“模态模型论研究”(2010-2012)资助 |
| 摘 要： | 模态逻辑的关系语义(也称克里普克语义)起源于20世纪60年代左右关于模态词的解释,其主要特征是,与之前的模态代数理论[1]相比,作为一种塔尔斯基式的语义,使模态句法对象与语义结构 |
| 关 键 词： | 模态理论 模态逻辑 对应理论 经典逻辑 公式 框架类 可定义性 当且仅当 对应问题 互模拟 |
| 本文献已被 CNKI 等数据库收录！ | |