双模拟与模态逻辑

摘要：

　　首先基于模型上的模拟概念定义了模型上的双模拟概念，并给出双模拟模态不变性和模态等价性的定义。在此基础上，讨论了模态逻辑与双模拟之间的关系；进一步分别在语言ML((τ)，Φ)和ML∞((τ)，Φ)中分析了模态等价性与双模拟不变性之间的关系；最后证明了正存在模态公式与双模拟之间的关系，并把正存在模态公式刻画为一阶公式双模拟不变部分。

关键词： 双模拟概念 模态逻辑 正存在模态公式 双模拟不变性 等价性定义

作者: 姚从军

作者单位: 湖南科技学院 思政部,湖南永州425100

会议类型: 国内会议

会议名称: 2011语言逻辑和符号学学术会议

会议地点: 重庆

会议语种:中文

页码: 77-82

在线出版日期: 2011-06-11（万方平台首次上网日期，不代表论文的发表时间）