Cyclic Proofs in Hoare Logic and its Reverse

James Brotherston, Quang Loc Le, Gauri Desai +1

We examine the relationships between axiomatic and cyclic proof systems for the partial and total versions of Hoare logic and those of its dual, known as reverse Hoare logic (or so…