Decision procedure for a combination of logics KD4 and PDL - Pliuškevičienė, Aida (Lietuvos matematikos rinkinys, 2004)
There is not abstract,