《可能世界的名字》述评  

A Review on Nominals of Possible Worlds

作　　者：闫佳亮 Jialiang Yan

机构地区：[1]清华大学人文学院

出　　处：《逻辑学研究》2020年第5期97-100,共4页Studies in Logic

摘　　要：刘新文,祝瑞,可能世界的名字,2017年,北京:中国社会科学出版社混合逻辑(hybrid logic)是模态逻辑中一个十分活跃的分支,它为模态逻辑的许多经典结论都提供了良好的改进方法。混合逻辑的基本观点,即“对命题变元分类”和“词项用作公式”,来自于上世纪六十年代的逻辑学家普莱尔(A.Prior)在时态逻辑领域中所做的工作。

关 键 词：模态逻辑 命题变元 逻辑学家 时态逻辑 普莱尔 混合逻辑 改进方法 名字 

分 类 号：B815.1[哲学宗教—逻辑学]