@misc{indiciae2e92bc494199,
  title = {Continuous Markovian Logics - Axiomatization and Quantified Metatheory},
  author = {Radu Mardare and Luca Cardelli and Kim G. Larsen},
  year = {2012},
  doi = {10.2168/lmcs-8(4:19)2012},
  url = {https://arxiv.org/abs/1211.5190},
  note = {Source identifier: 1211.5190}
}