双模拟与模态逻辑

• 作者: 姚从军
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 模拟 双模拟 模态逻辑 正存在模态公式 双模拟不变性
• 年，卷（期）: 2011,（8）
• 页码范围: 77-82
• 分类号: B81
• 字数: 7668字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425.2011.08.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚从军	湖南科技学院思政部	31	63	4.0	7.0