| 分次模态传递框架类 |
| |
| 引用本文： | 马明辉. 分次模态传递框架类[J]. 中山大学学报论丛, 2010, 3(2) |
| |
| 作者姓名： | 马明辉 |
| |
| 作者单位： | 清华大学哲学系,荷兰阿姆斯特丹大学逻辑、语言与计算研究所 |
| |
| 摘 要： | 本文证明分次模态逻辑在有穷传递框架类中的Goldblatt-Thomason定理.一个有穷传递框架类可由分次模态公式集定义当且仅当它在不相交并、生成子框架和分次有界态射像下封闭.该定理的证明使用带根的有穷传递框架的分次Jankov-Fine公式.
|
Graded Modal Classes of Finite Transitive Frames |
| |
| Minghui Ma. Graded Modal Classes of Finite Transitive Frames[J]. Studies in Logic, 2010, 3(2) |
| |
| Authors: | Minghui Ma |
| |
| Abstract: | We show the Goldblatt-Thomason type theorem for graded modal logic within fi-nite transitive frames. A class of finite transitive frames is definable by a set of graded modal formulas iff it is closed under disjoint unions, generated subframes and graded bounded mor-phic images. The proof of it uses graded Jankov-Fine formulas for finite transitive frames with root. |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
