Simon Docherty, Reuben N. S. Rowe. A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic. In Serenella Cerrito, Andrei Popescu 0001, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings. Volume 11714 of Lecture Notes in Computer Science, pages 335-352, Springer, 2019. [doi]
Abstract is missing.