Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas.

Luca Cardelli, Kim G. Larsen, Radu Mardare

Browse the full CSL paper archive.