| 多元模态逻辑在有限模型语义下的■os-Tarski定理 |
| |
| 引用本文： | 杨本娟,孙萍.多元模态逻辑在有限模型语义下的■os-Tarski定理[J].贵州师范大学学报(社会科学版),2009(3):78-81. |
| |
| 作者姓名： | 杨本娟 孙萍 |
| |
| 作者单位： | 贵州师范大学数学与计算机科学学院,贵州贵阳550001 |
| |
| 摘 要： | 证明了模态逻辑中Los-Tarski定理的有限模型论版本仍然成立，即：在有限模型语义下，一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式．
|
| 关 键 词： | ■os-Tarski定理 多元模态逻辑 有限模型论 |
Los-Tarski theorem for polyadic modal logic over finite structures |
| |
| YANG Ben-juan,SUN Ping.Los-Tarski theorem for polyadic modal logic over finite structures[J].Journal of Guizhou Normal University(Social Science Edition),2009(3):78-81. |
| |
| Authors: | YANG Ben-juan SUN Ping |
| |
| Institution: | ( School of Mathematics and Computer Sciences, Guizhou Normal University, Gniyang, Guizhou 550001,China) |
| |
| Abstract: | Preservation theorems play a vital role in understanding the expressive power of logic languages. In this paper, we show that, over finite structures, a polyadic modal formula is persevered under structure extension if and only if it is logicaUy equivalent to an existential one. This is a finite model theoretic version of the Los-Tarski theorem for polyadic modal logic. |
| |
| Keywords: | Los-Tarski theorem polyadic modal logic finite model theory |
| 本文献已被 维普 等数据库收录！ |
