29 citations · 35 across the 5 of their papers we have counts for
1 paper · 1 filter
Linh Anh Nguyen, Andrzej Szałas
We reformulate Pratt's tableau decision procedure of checking satisfiability of a set of formulas in PDL. Our formulation is simpler and more direct for implementation. Extending t…