一阶模态 $\xi$-演算：关于应用与互模拟的若干方面
计算机科学中的逻辑
2023-01-18 v4 逻辑
摘要
本文提出了一阶模态 -演算以及谱系 Kripke 模型。受模态 -演算的启发，一阶模态 -演算采用了非常相似的形式，并将其归纳表达能力扩展到了不同的维度。我们详细阐述了几个生动的例子，展示了该逻辑的深刻效用，特别是在描绘并发计算机进程的谱系方面。本文还深入探讨了该逻辑的互模拟概念。
引用
@article{arxiv.2110.07689,
title = {First-Order Modal $\xi$-Calculus: On the Aspects of Application and Bisimulation},
author = {Xinyu Wang},
journal= {arXiv preprint arXiv:2110.07689},
year = {2023}
}