Tableaux for type PDL

Agathoklis Kritsimallis, Chrysafis Hartonas. Tableaux for type PDL. In Kostas I. Diamantaras, Georgios Evangelidis, Yannis Manolopoulos, Christos K. Georgiadis, Petros Kefalas, Demosthenes Stamatis, editors, Balkan Conference in Informatics, BCI '13, Thessaloniki, Greece, September 19-21, 2013. pages 39-46, ACM, 2013. [doi]

Abstract

Abstract is missing.