｛“status”：“ok”，“message type”：“work”，“message version”：“1.0.0”，“message”：｛“indexed”：｛“date parts”：[[2024,3,13]]，“date time”：“2024-03-13T19:08:39Z”，“timestamp”：1710356919173｝，“reference count”：24，“publisher”：“Centre pour la Communication Scientifique Directe（CCSD）”，“license”：[｛“start”：｛“date parts”：[[2006,3,30]]，“date time”：“2006-03-30T00:00:00Z”，“timestamp”：1143676800000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“https:\/\/arxiv.org\/licenses\/assumed-1991-2003”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”abstract“：”环境逻辑（AL）被提出用于在移动环境演算（MA）中表示进程活动性的属性，并作为半结构化数据查询语言的基础。在本文中，我们研究了nAL的表达能力。我们在MA中定义了能力和通信的公式。我们还推导了一些公式，这些公式可以捕捉术语的有限性、名称的出现和持久性。我们研究了涉及更复杂通信形式的微积分的扩展，并定义了由MA子微积分上的逻辑所导出的等价性的特征公式。该子微积分是通过在MA过程的约简上提出图像完整性条件来定义的<\/jats:p>“，”DOI“：”10.2168\/lmcs-2（2:3）2006“，”type“：”journal-article“，”created“：{”date-parts“：[[2006,11,23]]，”date-time“：”2006-11-23T09:27:10Z“，”timestamp“：1164274030000}，”source“：“Crossref”，“is-referenced-by-count”：8，“title”：[“On the Expressiveity of the Ambient Logic”]，“prefix”：“10.46298”，“volume”：“volume 2，Issue 2”，“author”“：[{”given“：”Daniel“，”家族：“Hirschkoff”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Etienne”，“family”：“Lozes”，“序列”：“additional”，“filiation“：[]{”given“：”Davide“，”family“：”Sangiorgi“，”sequence“：”additional“，”affiliance“：[]}]，“member”：“25203”，“published-online”：{“date-parts”：[[2006,30]]}、“reference”：[{“key”：“10.2168\/LMCS-2（2:3）2006_AmCaSa98”，“doi断言为：“crossref”，“首页”：“291”，“doi”：“10.1016\/S0304-3975（97）00223-5”，“卷”：“195”，“作者”：“R.Amadio，I.Castellani，and D.Sangior”，“年”：“1998”，“期刊标题”：“理论计算机科学”}，{“键”：“10.2168\/LMCS-2（2:3）2006_Car99data”，“非结构化”：“L。卡德利。半结构化计算。程序。第七届国际数据库编程语言研讨会（DBPL'99），特邀演讲（随附论文，可从作者网页获得），1999年。“}，{”问题“：“4”，”关键“：“10.2168”，LMCS-2（2:3）2006_CardelliSemiStructuredData”，“volume”：“30”，“author”：“L.Cardelli”，“year”：“2001”，“journal-title”：“SIGMOD Record，Database Principles Column”}，”关键：“10.2168 \/LMCS-2（2:3）2006_CaGo98“，”doi-asserted-by“：”crossref“，”unstructured“：”L.Cardelli和A.D.Gordon。移动环境。InProc.公司。FoSSaCS’98，《计算机科学讲义》第1378卷，第140-155页。Springer Verlag，1998.“，“DOI”：“10.1007”，{“key”：“10.2168”，LMCS-2（2:3）2006_CaGo98附件”，“非结构化”：“L.Cardelli和A.D.Gordon，《citeCaGo98技术附件》。未发表注释，1998年。“}，{”key“：”10.2168\/LMCS-2（2:3）2006_CaGo99popl“，”doi-asserted-by“：”crossref“，“unstructured”：“L.Cardelli和A.D.Gordon。移动环境的类型。InProc.26 POPL，第79-92页。ACM出版社，1999.“，”DOI“：”10.1145\/292540.292550“}，{“key”：“10.2168\/LMCS-2（2:3）2006_Cardelli:：Gordon:：AnytimeAnywhere“，”DOI-asserted-by“：”crossref“，“unstructured”：“L.Cardelli and A.Gordon.Anytime，Anywhore，Modal Logics for Mobile Ambients.InProc.of 27th POPL，pages 365-377.ACM Press，2000.”，“DOI”：“10.1145\/325694.325742”}，“”键“：”10.2168 \/LMCS-2（2:3）2006_Cardelli:：Gordon:：NameRestriction:：01“，”doi-asserted-by“：”crossref“，”unstructured“：”L.Cardelli和A.Gordon。名称限制的逻辑属性。InProc.公司。TLCA’01，LNCS第2044卷。Springer Verlag，2001.“，”DOI“：”10.1007\/3-540-45413-6_8“}，{”issue“：”3“，”key“：”10.2168\/LMCS-2（2:3）2006_CaGh00semi“，”DOI-asserted-by“：”crossref“，“first page”：“285”，“DOI”：“10.1017\/S0960129504004141”，“volume”：”14“，“author”：“L.Cardelli and G.Ghelli”，“year”：“2004”，“journal-title”：“数学结构”在计算机科学“}，{”key“：”10.2168 \/LMCS-2（2:3）2006_caires:：lozes:：elim“，”doi-asserted-by“：”crossref“，”unstructured“：”L.caires和E.lozes“。消除空间逻辑中的量词和不确定性以实现并发。InProc.公司。CONCUR’04，LNCS第3170卷，第240-257页。Springer Verlag，2004.“，“DOI”：“10.1007\/978-3-540-28644-8_16”}，{“key”：“10.2168\/LMCS-2（2:3）2006_Dal01”，“DOI-asserted-by”：“crossref”，“unstructured”：“S.Dal-Zilio。环境的结构一致性是可决定的。亚洲国家科学院学报'00年版，LNCS 1961卷。Springer Verlag，2000。”，“DOI:”10.1007\/3-540-44464-5_8“}，”{“key”：”10.21 68\/LMCS-2（2:3）2006_GrafSifakis“，”doi-asserted-by“：”crossref“，”first-page“：”125“，”doi“：”10.1016\/S0019-9958（86）80031-6“，”volume“：”68“，”author“：”S.Graf and J.Sifaki“，”year“：”1986“，”journal-title“：”Information and Control“}，{“key”：“10.2168\/LMCS-2（2:3）2006_hirschkoff:：extensionalspatial04“，”doi-asserted-by“，”非结构化“：”D。赫什科夫。移动进程的扩展空间逻辑。InProc.公司。CONCUR’04，LNCS第3170卷，第325-339页。Springer Verlag，2004.“，“DOI”：“10.1007\/978-3-540-28644-8_21”}，{“key”：“10.2168\/LMCS-2（2:3）2006_Sedal”，“unstructured”：“D.Hirschkoff，E.Lozes，and D.Sangiorgi.环境逻辑中的可分性，表达性和决定性。第17届IEEE计算机科学逻辑研讨会，第423-432页。IEEE Computer Society，2002.“}，{”key“：”10.2168\/LMCS-2（2:3）2006_hls:：fsttcs:：2003“，”doi-asserted-by“：”crossref“，”unstructured“：”D.Hirschkoff，E.Lozes，and D.Sangiorgi.空间逻辑的最小结果。fsttcs’03的InProc.，LNCS的第2914卷，第252-264页。Springer Verlag，2003.“，”DOI“：”10.1007\/978-3-540-24597-1_22“}，{“key”：“10.2168\/LMCS-2（2:3）2006_Part2”，“DOI-asserted-by”：“crossref”，“unstructured”：“D.Hirschkoff，E.Lozes，and D.Sangiorgi.On separability of ambient logic.in preparation，2005.”，“DOI”：“10.2168\/LMCS2（2:3 2006_HeMi85“，”DOI-asserted-by“：”crossref“，“首页”：“137”，“DOI”：“10.1145\/2455.2460”，《卷》：“32”，“作者”：“M.Hennessy and R.Milner”，“年份”：“1985年”，“期刊标题”：“ACM杂志”}，{“key”：“10.2168\/LMCS-2（2:3）2006_LeSa00full”，“DOI-asserted-by”：“crossreff”，“unstructured”：“F.Levi and D.Sangiorgi”。控制环境中的干扰。简短版本出现在Proc中。第27届POPL，ACM出版社，2000年。“，”DOI“：”10.1145“/325694.325741“}，”issue“：”1“，”key“：”10.2168“/LMCS-2（2:3）2006_LeSaTOPLAS“，”first page“：：“10.2168\/LMCS-2（2:3）2006_Mil99”，“非结构化“：”R.Milner。通信和移动系统：\u03c0-微积分。剑桥大学出版社，1999.“}，{”key“：”10.2168“/LMCS-2（2:3）2006_Rey02“，”doi-asserted-by“：”crossref“，”unstructured“：”J.Reynolds.分离逻辑：共享可变数据结构的逻辑。第17届IEEE计算机科学中的逻辑研讨会。IEEE Computer Society，20022006_Sangiorgi:：ExtInt:：01“，”doi-asserted-by“：”crossref“，”unstructured“：”D.Sangiorgi.环境逻辑的外延和内涵。InProc.公司。共28页，第4-17页。ACM出版社，2001.“，”DOI“：”10.1145\/360204.375707“}，{“issue”：“1”，“key”：“10.2168\/LMCS-2（2:3）2006_SteffenIngolfsdottir”，“DOI-asserted-by”：“crossref”，“first page”：”149“，”DOI“：1994年“，”journal-title“：”Information and Computation“}，{”key“：”10.2168 \/LMCS-2（2:3）2006_SW01“，”非结构化“：”D.Sangiorgi和D.Walker。\u03c0-演算：移动进程理论。剑桥大学出版社，2001.“}]，”container-title“：[”计算机科学中的逻辑方法“]，”original-title”：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/lmcs.episciences.org\/2251\/pdf“，”content-type“：”application\/pdf“”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,4,11]]，”date-time“：“2023-04-11T20:40Z”，”timestamp“：1681243840000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/lmcs.epiciences.org\/2251”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[2006,3,30]]}，“references-count”：24，“URL”：“http://\/dx.doi.org\/10.2168\/lmcs-2（2:3）2006”，“关系”：{“is-same-as”：[{“id-type”：“arxiv”，“id”：“cs\/0510010”，“asserted-by”：“subject”}，{“id type”：“doi”ISSN“：[”1860-5974“]，”ISSN-type“：[{”value“：”1860-5.974“，”type“:”electronic“}]，”主题“：[]，”published“：{“日期部分”：[[2006,3,30]]}}