And-Or Tableaux for Fixpoint Logics with Converse: LTL, CTL, PDL and CPDL.

Rajeev Gor

Browse the full CADE paper archive.