TY - RPRT TI - Logics with probabilistic team semantics and the Boolean negation AU - Miika Hannula AU - Minna Hirvonen AU - Juha Kontinen AU - Yasir Mahmood AU - Arne Meier AU - Jonni Virtema PY - 2024 UR - https://arxiv.org/abs/2306.00420 ID - 2306.00420 ER -