随机过程的共归纳证明原理
计算机科学中的逻辑
2015-07-01 v2
摘要
我们为递归定义的随机过程给出了一个显式的共归纳原理。该原理适用于任何闭性质，而不仅限于相等性，即使在解不唯一的情况下也适用。该规则封装了底层分析论证，使得能够在更高的代数层面上对此类过程进行推理。我们通过推导简单抛硬币过程的性质来说明该规则的使用。
引用
@article{arxiv.0711.0194,
title = {Coinductive Proof Principles for Stochastic Processes},
author = {Dexter Kozen},
journal= {arXiv preprint arXiv:0711.0194},
year = {2015}
}
评论
16 pages, 2 figures. Preliminary version appeared in: Rajeev Alur, ed., Proc. 21st Symp. Logic in Computer Science (LICS'06), pages 359-366. IEEE, August 2006