| 模态逻辑典范框架的生成子框架 |
| |
| 引用本文： | 裘江杰. 模态逻辑典范框架的生成子框架[J]. 逻辑学研究, 2009, 2(4): 75-81 |
| |
| 作者姓名： | 裘江杰 |
| |
| 作者单位： | 浙江大学语言与认知研究中心 |
| |
| 基金项目： | 国家社会科学基金，中国博士后科学基金 |
| |
| 摘 要： | 模态逻辑的典范性由“局部”典范性拼接而成。本文讨论了“局部”典范性问题，即一个模态逻辑的典范框架的什么样的生成子框架是该逻辑的框架。主要的结果是证明了一个逻辑的典范框架的有界宽的生成子框架都是该逻辑的框架，并且典范框架内嵌了所有该逻辑的有穷宽框架。
|
| 关 键 词： | 模态逻辑 典范框架 生成子框架 有穷宽框架 有界宽框架 |
The Generated Sub-frame of Canonical Frame of Modal Logic |
| |
| Jiangjie Qiu. The Generated Sub-frame of Canonical Frame of Modal Logic[J]. Studies in Logic, 2009, 2(4): 75-81 |
| |
| Authors: | Jiangjie Qiu |
| |
| Affiliation: | Jiangjie Qiu Center for The Study of Language and Cognition,Zhejiang University |
| |
| Abstract: | Every non-trivial normal modal logic has a canonical frame and a canonical model. We know that a modal logic's canonical model is a model of the logic,but it isn't the same for the canonical frame,so we have the concept canonical logic.If a modal logic is canonical,then every theorem of this logic is valid on the canonical frame of the logic,i.e.the canonical frame is a frame of the logic.Furthermore,every generated sub-frame of the canonical frame is also the frame of the logic.On the contrary,if a modal l... |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
