A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic.

Simon Docherty, Reuben N. S. Rowe

Browse the full TABLEAUX paper archive.