Combination of temporal logic with modal logic KD - Pliuškevičius, Regimantas (Lietuvos matematikos rinkinys, 2003)
There is not abstract.