Vera Koponen

On the relative asymptotic expressivity of inference frameworks

2024 · Logical Methods in Computer Science

We consider logics with truth values in the unit interval $[0,1]$. Such logics are used to define queries and to define probability distributions. In this context the notion of almost sure equivalence of formulas is …