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