Caicedo, Xavier; Metcalfe, George; Rodríguez, Ricardo; Rogger, Jonas Decidability of order-based modal logics. (English) Zbl 1423.03056 J. Comput. Syst. Sci. 88, 53-74 (2017). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{X. Caicedo} et al., J. Comput. Syst. Sci. 88, 53--74 (2017; Zbl 1423.03056) Full Text: DOI Link
Kozen, Dexter A probabilistic PDL. (English) Zbl 0575.03013 J. Comput. Syst. Sci. 30, 162-178 (1985). Reviewer: A.Stolboushkin MSC: 03B48 68Q65 60G07 60G50 03C13 68W99 68Q60 03B45 PDFBibTeX XMLCite \textit{D. Kozen}, J. Comput. Syst. Sci. 30, 162--178 (1985; Zbl 0575.03013) Full Text: DOI