| 多元模态逻辑在有限模型语义下的(L)os-Tarski定理 |
| |
| 引用本文： | 杨本娟,孙萍.多元模态逻辑在有限模型语义下的(L)os-Tarski定理[J].贵州师范大学学报(自然科学版),2009,27(3):78-81. |
| |
| 作者姓名： | 杨本娟 孙萍 |
| |
| 作者单位： | 贵州师范大学数学与计算机科学学院,贵州,贵阳,550001 |
| |
| 摘 要： | 证明了模态逻辑中Los-Tarski定理的有限模型论版本仍然成立，即：在有限模型语义下，一个多元模态公式在模型扩张关系下保持当且仅当它逻辑等价于一个存在多元模态公式．
|
| 关 键 词： | Los-Tarski定理 多元模态逻辑 有限模型论 |
(L)os-Tarski theorem for polyadic modal logic over finite structures |
| |
| YANG Ben-juan,SUN Ping.(L)os-Tarski theorem for polyadic modal logic over finite structures[J].Journal of Guizhou Normal University(Natural Sciences),2009,27(3):78-81. |
| |
| Authors: | YANG Ben-juan SUN Ping |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
