斯文·林杰;法比奥·帕帕奇尼;米歇尔·塞维格纳尼 分析邻域空间的空间特性。 （英语） Zbl 07559437号 Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第66条，第14页（2020年）。 摘要：我们提出了邻域空间的互模拟关系，这是拓扑空间的推广。我们表明，这种保持路径的互模拟概念保留了空间逻辑SLCS的公式。然后，我们使用这个保留结果表明，SLCS不能表示分离性和连通性等标准拓扑属性。此外，我们还将互模拟关系与标准模态互模拟和模态互模拟与逆图进行了比较，并证明了它与后者的一致性。关于整个系列，请参见[Zbl 1445.68013号]. 引用于4文件 MSC公司： 68季度xx 计算理论 关键词：空间逻辑;拓扑;互模拟 PDF格式BibTeX公司 XML格式引用 \textit{S.Linker}等人，LIPIcs——莱布尼茨国际程序。通知。170，第66条，第14页（2020；Zbl 07559437） 全文： 内政部 arXiv公司 参考文献： [1] Marco Aiello、Ian Pratt-Hartmann和Johan van Benthem，编辑。空间逻辑手册。施普林格，2007年·兹比尔1172.03001 [2] 马可·艾略和约翰·范·本特姆。在空间中的模式漫步。应用非经典逻辑期刊，12（3-4）：319-3632002。doi:10.3166/jancl.12.319-363·Zbl 1185.03060号 ·doi:10.3166/1月12日319-363 [3] 法布里奇奥·班奇·博纳米奇（Fabrizio Banci Buonamici）、吉娜·贝尔蒙特（Gina Belmonte）、文森佐·西安西亚（Vincenzo Ciancia）、迭戈·拉特拉（Diego Latella）和梅克·马西克（Mieke。医学成像的空间逻辑和模型检查。《国际技术转让软件工具杂志》，2019年2月。doi:10.1007/s10009-019-00511-9·doi:10.1007/s10009-019-00511-9 [4] Ezio Bartocci、Luca Bortolussi、Michele Loreti和Laura Nenzi。监测移动和空间分布式网络物理系统。第15届ACM-IEEE系统设计形式方法和模型国际会议论文集，MEMOCODE’17，第146-155页，美国纽约州纽约市，2017年。ACM公司。活动地点：奥地利维也纳。doi:10.1145/3127041.3127050·doi:10.1145/3127041.3127050 [5] 尤利·巴里什尼科夫和罗伯特·格里斯。通过欧拉特征积分进行目标枚举。SIAM应用数学杂志，70（3）：825-8442009。doi:10.1137/070687293·Zbl 1190.90041号 ·doi:10.1137/070687293 [6] 吉娜·贝尔蒙特（Gina Belmonte）、文森佐·西安西亚（Vincenzo Ciancia）、迭戈·拉特拉（Diego Latella）和梅克·马西克（Mieke Massink）。VoxLogicA：用于声明性图像分析的空间模型检查器。Tomás Vojnar和Lijun Zhang，编辑，《系统构建和分析的工具和算法——第25届国际会议，TACAS 2019，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2019，捷克共和国布拉格，2019年4月6日至11日，会议录，第一部分，计算机科学讲义第11427卷，第281-298页。斯普林格，2019年。doi:10.1007/978-3-030-17462-0_16·doi:10.1007/978-3-030-17462-0_16 [7] Patrick Blackburn和Johan van Benthem。模态逻辑：语义视角。在《模态逻辑手册》中，第1-84页。北荷兰，2007年。doi:10.1016/s1570-2464（07）80004-8·doi:10.1016/s1570-2464（07）80004-8 [8] 路易斯·凯雷斯和卢卡·卡德利。并发的空间逻辑（第一部分）。编者N.Kobayashi和B.C.Pierce，《计算机软件理论方面国际研讨会-TACS 2001》，LNCS第2215卷，第1-37页。斯普林格，2001年。doi:10.1007/3-540-45500-01·doi:10.1007/3-5440-45500-0_1 [9] 文森佐·西安西亚（Vincenzo Ciancia）、斯蒂芬·吉尔摩（Stephen Gilmore）、吉安卢卡·格里莱蒂（Gianluca Grilletti）、迭戈·拉泰拉（Diego Latella）、米歇尔·洛雷蒂（Michele Loreti）和梅克·马西。公共交通系统中车辆运动的时空模型检查。《国际技术转让软件工具杂志》，2018年1月，20:289-311。doi:10.1007/s10009-018-0483-8·doi:10.1007/s10009-018-0483-8 [10] 文森佐·西安西亚（Vincenzo Ciancia）、迭戈·拉泰拉（Diego Latella）、米歇尔·洛雷蒂（Michele Loreti）和梅克·马西克（Mieke Massink）。模型检查闭合空间的空间逻辑。《计算机科学中的逻辑方法》，第12卷，第4期，2017年4月。doi:10.2168/LMCS-12（4:2）2016年·Zbl 1398.68335号 ·doi:10.2168/LMCS-12（4:2）2016年 [11] 文森佐·西安西亚（Vincenzo Ciancia）、迭戈·拉特拉（Diego Latella）、梅克·马西克（Mieke Massink）和埃里克·德文克（Erik de Vink）。走向闭合模型的空间相似性：逻辑和联合特征，2020年。arXiv:2005.05578。 [12] 文森佐·西安西亚（Vincenzo Ciancia）、迭戈·拉泰拉（Diego Latella）、梅克·马西克（Mieke Massink）、莱蒂斯·帕什考斯卡斯（Rytis Paškauskas）和安德烈亚·范丁。自行车共享系统统计时空模型检查的工具链。Tiziana Margaria和Bernhard Steffen主编，《利用形式方法的应用、验证和验证：基础技术》，计算机科学讲义第9952页，第657-673页。施普林格国际出版公司，2016年10月。doi:10.1007/978-3-319-47166-246·doi:10.1007/978-3-319-47166-2_46 [13] E.艾伦·爱默生和约瑟夫·哈珀。再论“有时”和“并非永远”：关于分支与线性时间时序逻辑。J.ACM，33（1）：151-1781986年1月。doi:10.1145/4904.4999·Zbl 0629.68020号 ·doi:10.1145/4904.4999 [14] 安东尼·高尔顿。离散空间中运动的广义拓扑视图。理论计算机科学，305（1）：111-1342003。doi:10.1016/S0304-3975（02）00701-6·兹比尔1105.68103 ·doi:10.1016/S0304-3975（02）00701-6 [15] Natasha Kurtonina和Maarten de Rijke。时序逻辑的互模拟。《逻辑、语言与信息杂志》，6（4）：403-4251997年。doi:10.1023/A:1008223921944·Zbl 0882.03017号 ·doi:10.1023/A:1008223921944 [16] Sven Linker和Michele Sevegnani。具有预汉堡约束的目标计数及其在传感器网络中的应用。《皇家学会学报A：数学、物理和工程科学》，475（2231）：201902782019。doi:10.1098/rspa.2019.0278·Zbl 1472.68015号 ·doi:10.1098/rspa.2019.0278 [17] 罗宾·米尔纳（Robin Milner）、约阿金·帕罗（Joachin Parrow）和大卫·沃克（David Walker）。移动过程的微积分，I.信息与计算，100（1）：1-401992年9月。doi:10.1016/0890-5401（92）90008-4·Zbl 0752.68036号 ·doi:10.1016/0890-5401（92）90008-4 [18] 埃里克·帕奎特。模态逻辑的邻域语义。施普林格，查姆，2017年。doi:10.1007/978-3-319-67149-9·Zbl 1390.03001号 ·doi:10.1007/978-3-319-67149-9 [19] 丹尼尔·皮亚尼尼（Danilo Pianini）、西蒙·多布森（Simon Dobson）和米尔科·维罗利（Mirko Viroli）。无线传感器网络中使用欧拉积分的自稳定目标计数。2017年9月，IEEE第11届自适应和自组织系统国际会议（SASO），第11-20页。doi:10.1109/SASO.2017.10·doi:10.1109/SASO.2017.10 [20] 阿米尔·普努利。程序的时间逻辑。IEEE计算机科学基础研讨会-SFCS 1977，第46-57页。IEEE计算机学会，1977年。doi:10.1109/SFCS.1977.32·doi:10.1109/SFCS.1977.32 [21] Lynn Arthur Steen和J.Arthur-Seebach，Jr.《拓扑学反例》。施普林格·弗拉格，纽约，1978年。多佛出版社重印，纽约，1995年·兹伯利0386.5401 [22] 阿尔弗雷德·塔斯基。Aussagenkalkül和地形。数学基础，31:103-1341938。doi:10.4064/fm-31-1-103-134·doi:10.4064/fm-31-1-103-134 [23] 爱德华·科赫、兹登·弗罗利克和米罗斯拉夫·卡特托夫。拓扑空间。学院，捷克斯洛伐克科学院出版社，1966年。网址：http://eudml.org/doc/277000。 [24] 华莱士·阿尔文·威尔逊。关于拟度量空间。《美国数学杂志》，53（3）：675-6841931。doi:10.2307/2371174·Zbl 0002.05503号 ·数字对象标识代码：10.2307/2371174 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。