Title嫁接框架与S1-完全性
Authors周北海
Affiliation北京大学哲学系
KeywordsS1
完全性
模态逻辑
相干逻辑
元逻辑
命题变元
模型类
可通达关系
极大一致集
可能世界
Issue Date1994
Citation.
Abstract嫁接框架是由模态框架和相干框架组合而成的一种新型框架。本文首先设计了这一框架,然后用其证明了S1的完全性,最后根据这些结果对S1的性质等有关问题作了一些直观的分析与说明。
URIhttp://hdl.handle.net/20.500.11897/63141
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.