卢卡·卡德利;安德鲁·戈登。 名称限制的逻辑属性。 （英语） Zbl 0981.68036号 Abramsky，Samson（编辑），《键入lambda calculi和应用程序》。第五届国际会议，2001年TLCA，波兰克拉科夫，2001年5月2日至5日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2044, 46-60 (2001). 摘要：我们将环境的模态逻辑扩展到完整的环境演算，包括名称限制。我们引入了可用于对受限名称进行断言的逻辑运算符，并研究了它们的属性。有关整个系列，请参见[Zbl 0961.00016号]。 引用于11文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B70号 计算机科学中的逻辑 03B45 模态逻辑（包括规范逻辑） PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{A.D.Gordon}，莱克特。注释计算。科学。2044，46-60（2001；Zbl 0981.68036） 全文： 链接