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

作者：施晓静; 邢惠丽; 张晋津

来源：电子世界, 2017, (02): 193-194.

DOI：10.19353/j.cnki.dzsj.2017.02.097

• n-精化
• n-互模拟
• n-精化模态逻辑

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

• 出版日期2017
• 单位南京航空航天大学