具有不可约关系的分支时间逻辑的互模拟和p-态射
Bisimulation and p-morphism for branching-time logics with indistinguishability relations
摘要：
在Zanardo，1998年中，分支时间逻辑的皮尔斯语义丰富了经过t的历史之间在时刻t的不可区分性的概念。具有不可分割性关系的树为具有时态和模态运算符的时态语言提供了语义。本文给出了这种语言和语义的p-态射和互模拟的概念，并证明了一些保持性结果。
英文摘要：
In Zanardo, 1998, the Peircean semantics for branching-time logics is enriched with a notion of indistinguishability at a moment t between histories passing through t. Trees with indistinguishability relations provide a semantics for a temporal language with tense and modal operators. In this paper a notion of p-morphism and a notion of bisimulation, wrt this language and semantics, are given and a number of preservation results are proven.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
