Miika Hannula Minna Hirvonen Juha Kontinen Yasir Mahmood 0002 Arne Meier Jonni Virtema Logics with probabilistic team semantics and the Boolean negation. 2025 35 J. Log. Comput. 3 https://doi.org/10.1093/logcom/exaf021 db/journals/logcom/logcom35.html#HannulaHKMMV25 streams/journals/logcom