Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
3 Publications
2025 | Journal Article | LibreCat-ID: 59912
M. Hannula, M. Hirvonen, J. Kontinen, Y. Mahmood, A. Meier, and J. Virtema, “Logics with probabilistic team semantics and the Boolean negation,” Journal of Logic and Computation, vol. 35, no. 3, 2025, doi: 10.1093/logcom/exaf021.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 45847
J. Kontinen, A. Meier, and Y. Mahmood, “A parameterized view on the complexity of dependence and independence logic,” Journal of Logic and Computation, vol. 32, no. 8, pp. 1624–1644, 2022, doi: 10.1093/logcom/exac070.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45844
Y. Mahmood, A. Meier, and J. Schmidt, “Parameterized complexity of abduction in Schaefer’s framework,” Journal of Logic and Computation, vol. 31, no. 1, pp. 266–296, 2021, doi: 10.1093/logcom/exaa079.
LibreCat
| DOI