<正>劉新文,祝瑞,可能世界的名字,2017年,北京:中國社會科學(xué)出版社混合邏輯（hybrid20logic）是模態(tài)邏輯中一個十分活躍的分支,它為模態(tài)邏輯的許多經(jīng)典結(jié)論都提供了良好的改進(jìn)方法�；旌线壿嫷幕居^點,即"對命題變元分類"和"詞項用作公式",來自于上世紀(jì)六十年代的邏輯學(xué)家普萊爾（A.20Prior）在時態(tài)邏輯領(lǐng)域中所做的工作。基于哲學(xué)家麥克塔格特（J.20M.20E.20McTaggart）對時間概念的分析,存在著兩種時序關(guān)系:A序列和B序列。 

【文章來源】：邏輯學(xué)研究. 2020,13(05)CSSCI

【文章頁數(shù)】：4 頁


本文編號：3178799