Intensionality of Modal Logic for Ambient Calculus with Restricted Replication

• 复制受限的环境演算中模态逻辑的内涵性