Text this: Continuous Markovian Logics - Axiomatization and Quantified Metatheory