Two-layered logics for paraconsistent probabilities

We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $\mathrm{△}$ operator and the Belnap–Dunn logic.