n-互模拟量化逻辑语言的不变性

n-互模拟量化逻辑语言是计算机理论科学中重要的研究内容之一。本文将针对n-互模拟量化语言,探究其互模拟不变性的特征。

n-精化关系及其相关研究

精化关系是研究反应式系统的重要内容之一。本文在n-互模拟的基础上提出了分层精化精化关系,探究n-精化关系与分层互模拟关系之间的区别与联系,定义n-精化模态逻辑语言并给出相关的永真式。