混合μ演算的循环证明系统
计算机科学中的逻辑
2020-06-11 v3
摘要
我们提出一种用于混合μ演算的循环且无切割的证明系统，并证明其可靠性与完备性。该系统使用名称表示不动点展开，类似于 Stirling 先前为μ演算开发的循环证明系统。
引用
@article{arxiv.2001.04971,
title = {A circular proof system for the hybrid mu-calculus},
author = {Sebastian Enqvist},
journal= {arXiv preprint arXiv:2001.04971},
year = {2020}
}