Title邻域语义学
Authors毛翊
Affiliation北京大学哲学系
Keywords邻域语义学
代数语义学
模态逻辑
关系语义
模态矩阵
布尔代数
逻辑学界
代数的
五十年代
关系框架
Issue Date1994
Citation.
Abstract模态逻辑自C.I.Lewis形式化地提出五个模态系统以后,W.T.Parry为了区别S1-S5, 证明公理的独立性,运用了模态矩阵这一切实有效的工具。J.C.C.Mckinsey和A.Trarski在研究带算子的布尔代数的基础上,把模态矩阵限制在模态代数的范围内,从而发展出了代数语义学。五十年代末六十年代初,以S.A.Kripke为代表的关系语义学又使逻辑学界耳目一新。那以后产生的邻域语义学人们却知之不多。本文的主要内容就是追随R.Montague,D.Scott, K.Segerberg,D.M.Gabby和M.Gerson等人对邻域语义学(又称Scott-Montague语义学)的提...
URIhttp://hdl.handle.net/20.500.11897/63142
Appears in Collections:哲学系(宗教学系)

Files in This Work
Adobe PDF

Web of Science®



Checked on Last Week

百度学术™



Checked on Current Time




License: See PKU IR operational policies.