TY  - RPRT
TI  - A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic
AU  - Simon Docherty
AU  - Reuben N. S. Rowe
PY  - 2019
UR  - https://arxiv.org/abs/1905.06143
ID  - 1905.06143
ER  -