互模拟不变性相关论文
互模拟已成为模态逻辑模型论的一个核心概念。笔者在克里普克模型上定义了互模拟和互模拟不变性概念,接着证明模态逻辑具有互模拟不......
n-互模拟量化逻辑语言是计算机理论科学中重要的研究内容之一。本文将针对n-互模拟量化语言,探究其互模拟不变性的特征。......