@article{537b035c36cf4ece8e3b4ed4333d2153,
title = "Logics with probabilistic team semantics and the Boolean negation",
keywords = "Computational complexity, Expressivity of logics, Model checking, Probabilistic team semantics, Satisfiability, Validity, 111 Mathematics, 113 Computer and information sciences",
author = "Miika Hannula and Hirvonen, {Minna Eveliina} and Juha Kontinen and Yasir Mahmood and Arne Meier and Jonni Virtema",
year = "2025",
month = apr,
doi = "10.1093/logcom/exaf021",
language = "English",
volume = "35",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "3",
}