余代数 (双) 模拟中的性质反射与保持
计算机科学中的逻辑
2024-02-05 v1
摘要
我们的目标是将双模拟对性质的保持和反射的标准结果扩展到余代数设定，并研究这些结果在何种条件下对模拟成立。双模拟的概念是经典的，而对于模拟，我们使用 Hughes 和 Jacobs 提出的概念。至于性质，我们首先使用 Jacobs 提出的将线性时序逻辑推广到任意余代数的方法，然后使用 Kurtz 的扩展，其中也包括原子命题。
引用
@article{arxiv.2402.00958,
title = {Reflection and Preservation of Properties in Coalgebraic (bi)Simulations},
author = {Ignacio Fábregas and Miguel Palomino and David de Frutos-Escrig},
journal= {arXiv preprint arXiv:2402.00958},
year = {2024}
}