Dexter Kozen, Radu Mardare, Prakash Panangaden: Strong Completeness for Markovian Logics. MFCS 2013: 655-666