中文摘要：

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

英文摘要：

The refinement relations is one of the important contents of studying reactive systems. This paper introducing the notion of nrefinement by the definition of n-bisimulation, studying the the differences between the n-refinement and n-bisimulation, as well as defining nrefinement modal logic language and giving relevant validities.