多元模态逻辑中的范本特姆—罗森定理 |
| |
引用本文: | 陈,武.多元模态逻辑中的范本特姆—罗森定理[J].西南农业大学学报,2013,35(12):159-164. |
| |
作者姓名: | 陈 武 |
| |
作者单位: | 1. 西南大学计算机与信息科学学院,重庆400715;2. 西南大学逻辑与智能研究中心,重庆400715 |
| |
基金项目: | 国家自然科学基金资助项目(61003203);重庆市人文社会科学重点研究基地项目资助(09SKB35);中央高校基本科研业务费专项资金资助(XDJK2014C040). |
| |
摘 要: | 证明了在多元模态逻辑中范本特姆— 罗森定理仍然成立,即:无论在经典或有限模型论意义下,一个量词深
度为n 的一阶公式在多元互模拟关系下保持当且仅当它逻辑等价于一个模态词深度小于2n 的多元模态公式.
|
关 键 词: | 范本特姆—罗森定理 多元模态逻辑 有限模型论 |
|
| 点击此处可从《西南农业大学学报》浏览原始摘要信息 |
| 点击此处可从《西南农业大学学报》下载免费的PDF全文 |
|