Logics with probabilistic team semantics and the Boolean negation
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, J. Virtema, in: 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, Proceedings, 2023.