费尔南多·奥雷贾斯;埃尔维拉·皮诺;玛丽莎·纳瓦罗;莱恩·兰伯斯 图形结构导航逻辑机构。 （英语） Zbl 1436.03325号 西奥。计算。科学。 741, 19-24 (2018). 摘要：我们证明了导航逻辑，即表示关于图和关于图中路径的属性的逻辑，是一个半精确的制度。通过这种方式，我们可以使用许多操作来构造和模块化我们的规范。此外，利用我们制度的性质，我们还展示了如何构造单个公式，在我们的形式主义中，这些公式可能相当复杂。 引用于2文件 MSC公司： 03G30型 分类逻辑，拓扑 03B60号 其他非经典逻辑 03B70号 计算机科学中的逻辑 关键词：机构;图形逻辑;导航逻辑 软件：CASL公司 PDF格式BibTeX公司 XML格式引用 \textit{F.Orejas}等人，Theor。计算。科学。741，19-24（2018；Zbl 1436.03325） 全文： 内政部 链接 参考文献： [1] 角度，R。；阿雷纳斯，M。；巴塞洛，P。；Hogan，A。；Reutter，J.L。；Vrgoc，D.，图形数据库现代查询语言基础，ACM Comput。调查。，50, 5, (2017) [2] Astesiano，E。；比多特，M。；基什内尔，H。；Krieg-Brückner，B。；莫斯，P.D。；Sannella，D。；Tarlecki，A.，CASL：通用代数规范语言，Theoret。计算。科学。，286, 2, 153-196, (2002) ·Zbl 1061.68103号 [3] 巴塞洛，P。；穆尼奥斯，P.，《具有理性关系的图形逻辑：单词组合的作用》，ACM Trans。计算。日志。，18, 2, (2017) ·Zbl 1367.68082号 [4] Courcelle，B.，《一元二阶逻辑中图形属性的表达和图形变换》（Rozenberg，G.，《图形语法手册》，（1997），世界科学出版社），313-400 [5] J.戈根。；Burstall，R.，《机构：规范和编程的抽象模型理论》，J.ACM，39，1，95-149，（1992）·Zbl 0799.68134号 [6] 哈贝尔，A。；Pennemann，K.H.，与嵌套条件相关的高级转换系统的正确性，数学。结构计算。科学。，19, 2, 245-296, (2009) ·Zbl 1168.68022号 [7] 哈贝尔，A。；Radke，H.，带变量的图形条件的表达，电子。Commun公司。EASST，30，（2010） [8] Lambers，L。；纳瓦罗，M。；Orejas，F。；Pino，E.，走向图形结构的导航逻辑，（Heckel，Reiko；Taentzer，Gabriele，Graph Transformation，Specifications，and Nets:In Memory of Hartmut Ehrig，计算机科学讲稿，第10800卷，（2018），Springer），124-141·兹比尔1383.68064 [9] 纳瓦罗，M。；Orejas，F。；皮诺，E。；Lambers，L.，用路径扩展的图条件逻辑，（图计算模型研讨会（GCM 2016），维也纳，（2016）） [10] Pennemann，K.H.，高级条件下的类分辨率定理证明，（图变换，第四届国际会议，ICGT 2008，计算机科学讲义，第5214卷，（2008），Springer），289-304·Zbl 1175.03008号 [11] Pennemann，K.H.，正确图形转换系统的开发，（2009），奥尔登堡大学计算科学系，博士论文 [12] Poskitt，C.M。；Plump，D.，《验证图形程序的一元二阶属性》，（图变换-第七届国际会议，ICGT 2014，作为STAF 2014的一部分举行，英国约克，2014年7月22日至24日）。诉讼，（2014），33-48·Zbl 1425.68080号 [13] Sannella，D。；Tarlecki，A.，《任意机构的规范》，Inform。和计算。，76, 2/3, 165-210, (1988) ·Zbl 0654.68017号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。