A Probabilistic Higher-Order Fixpoint Logic. - Yo Mitani; Naoki Kobayashi 001; Takeshi Tsukada (FSCD, 2020)