Hannula, M., Hirvonen, M., Kontinen, J. et al. (3 more authors) (2025) Logics with probabilistic team semantics and the Boolean negation. Journal of Logic and Computation, 35 (3). exaf021. ISSN 0955-792X
Abstract
We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean negation. In particular, we study the extension of probabilistic independence logic with the Boolean negation, and a recently introduced logic first-order theory of random variables with probabilistic independence. We give several results that compare the expressivity of these logics with the most studied logics in probabilistic team semantics setting, as well as relating their expressivity to a numerical variant of second-order logic. In addition, we introduce novel entropy atoms and show that the extension of first-order logic by entropy atoms subsumes probabilistic independence logic. Finally, we obtain some results on the complexity of model checking, validity and satisfiability of our logics.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | © The Author(s) 2025. Published by Oxford University Press. This is an Open Access article distributed under the terms of the Creative Commons Attribution License. (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted reuse, distribution, and reproduction in any medium, provided the original work is properly cited. |
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Funding Information: | Funder Grant number DEUTSCHE FORSCHUNGSGEMEINSCHAFT 432788559 |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 31 Mar 2025 14:48 |
Last Modified: | 31 Mar 2025 14:48 |
Published Version: | https://academic.oup.com/logcom/article/35/3/exaf0... |
Status: | Published |
Publisher: | Oxford University Press |
Refereed: | Yes |
Identification Number: | 10.1093/logcom/exaf021 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:225039 |