7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2010★ 7 cited
Optimal and Cut-free Tableaux for Propositional Dynamic Logic with Converse
Rajeev Goré, Florian Widmann
We give an optimal (EXPTIME), sound and complete tableau-based algorithm for deciding satisfiability for propositional dynamic logic with converse (CPDL) which does not require the…
cs.LO2007
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
Pietro Abate, Rajeev Goré, Florian Widmann
We present a tableau-based algorithm for deciding satisfiability for propositional dynamic logic (PDL) which builds a finite rooted tree with ancestor loops and passes extra inform…