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

• Intensionality of Modal Logic for Ambient Calculus with Restricted Replication