TY - GEN T1 - Logics with probabilistic team semantics and the Boolean negation PY - 2023/06/01 AU - Hannula M AU - Hirvonen M AU - Kontinen J AU - Mahmood Y AU - Meier A AU - Virtema J ED - Y2 - 2024/12/23 ER -