Documents Abate, Gore & Widmann, Tableaux for Predicate Dynamic Logic [26 pgs]

M4M 2007 An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability Pietro Abate a,1 , Rajeev Gor´e a,2 and Florian Widmann b,3,4 a Computer Sciences Laboratory…