Eleftheriou,Pantelis E。;科斯塔斯·库特拉斯。;克里斯托斯·诺米科斯 Heyting值模态语言的互模拟概念。 (英语) Zbl 1250.03032号 J.日志。计算。 22,第2期,213-235(2012). 小结:我们在M.Fitting引入的Heyting值模态语言家族的背景下研究互模拟的概念及其分支。这个族中的每一种模态语言都建立在真值的底层空间上,即Heyting代数\(\mathcal H\)。所有的真值都直接用语言表示,它在具有\(\mathcal H\)值可访问性关系的关系框架上进行解释。我们定义了两个互模拟概念,使我们能够获得真值不变性结果。我们提供了游戏语义,对于更有趣和复杂的概念,我们能够提供特征公式并证明Hennessy-Milner型定理。如果底层代数(mathcal H)是有限的,那么Heyting值模态模型可以等价地重新表述为与许多相关专家的认知情况相关的形式。我们的定义和结果从这个公式中获得了灵感,它对知识表示应用程序具有独立的兴趣。 引用于12文件 MSC公司: 03B45号 模态逻辑(包括规范逻辑) 03B50号 多值逻辑 06D20日 Heyting代数(格理论方面) 68立方英尺 知识表示 关键词:多值模态逻辑;互模拟;海廷代数;博弈语义;真值不变性 PDF格式BibTeX公司 XML格式引用 \textit{P.E.Eleftheriou}等人,J.Log。计算。22,第2号,213--235(2012;Zbl 1250.03032) 全文: 内政部