pdl-tableau

pdl-tableau is a prototypical implementation of a variation of the tableau calculus for PDL in De Giacomo and Massacci (2000), ”Combining Deduction and Model Checking into Tableaux and Algorithms for Converse-PDL” (Information and Computation 162, pp. 117-137).