AI 中文总结
研究路径谓词模态逻辑（PPML）基本模型理论，通过探讨定义亨尼斯 - 米尔纳类的方式及范·本特姆刻画定理，刻画其表达能力，分析处理PPML新特性的挑战与和标准方法的相似性。
AI 中文摘要
路径谓词模态逻辑（PPML）是基本模态逻辑的推广，其原子是关系谓词而非命题符号。对PPML的研究旨在抽象地研究数据感知形式体系，如XPath或DataGL。本文研究PPML的一些基本模型理论方面，以更好地刻画其表达能力。具体探讨了定义亨尼斯 - 米尔纳类的不同方式及范·本特姆刻画定理，讨论了处理PPML新特性的主要挑战及与标准方法的相似性。
英文摘要
Path Predicate Modal Logic (PPML) is a generalization of Basic Modal Logic, where atoms are relational predicates instead of propositional symbols. The study of PPML is motivated as a way to abstractly investigate data-aware formalisms, such as XPath or DataGL. In this paper, we investigate some basic model theoretical aspects of PPML to better characterize its expressive power. More concretely, we investigate different ways of defining Hennessy-Milner classes, and a van Benthem characterization theorem. In doing so, we discuss the main challenges of dealing with the novel features of PPML, and what are the similarities with the standard approaches.
CommentsIn Proceedings LSFA 2026, arXiv:2607.15904
Journal refEPTCS 449, 2026, pp. 89-105
