A slow weekend - I needed the rest.
Dexter Kozen just uploaded an article on Coinductive Proof Principles for Stochastic Processes to CoRR, wherein he gives "an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when solutions are not unique. The rule encapsulates low-level analytic arguments, allowing reasoning about such processes at a higher algebraic level. We illustrate the use of the rule in deriving properties of a simple coin-flip process." I looked at this paper a while back, and it remains interesting.
- Coinductive Proof Principles for Stochastic Processes_, by D. Kozen.
On a different bit of news, the CSLI Lecture Notes are now freely available online, gracieuseté of the Stanford Medieval and Modern Thought Text Digitization Project.
That series includes the classics
- Troelstra's Lectures on Linear Logic
- Goldblatt's Logic of Time and Computation
and to remain in the spirit of coinduction, two of the core monographs on the theoretical foundations of coinduction:
- Aczel's Non-well-founded Sets
- Barwise and Moss's Vicious Circles : On the Mathematics of Non-wellfounded Phenomena
(via Richard Zach's LogBlog)