Strong Completeness for Markovian Logics.

Dexter Kozen, Radu Mardare, Prakash Panangaden

Browse the full MFCS paper archive.