1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2019
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic
Simon Docherty, Reuben N. S. Rowe
We define a infinitary labelled sequent calculus for PDL, G3PDL^{\infty}. A finitarily representable cyclic system, G3PDL^ω, is then given. We show that both are sound and complete…
cs.LO2017★ 1 cited
Size Relationships in Abstract Cyclic Entailment Systems
Reuben N. S. Rowe, James Brotherston
A cyclic proof system generalises the standard notion of a proof as a finite tree of locally sound inferences by allowing proof objects to be potentially infinite. Regular infinite…