Continuous Markovian logic -- from complete axiomatization to the metric space of formulas
scientific article; zbMATH DE number 6083536