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
Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A., & Virtema, J. (2025). Logics with probabilistic team semantics and the Boolean negation. Journal of Logic and Computation, 35(3). https://doi.org/10.1093/logcom/exaf021
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 45847
Kontinen, J., Meier, A., & Mahmood, Y. (2022). A parameterized view on the complexity of dependence and independence logic. Journal of Logic and Computation, 32(8), 1624–1644. https://doi.org/10.1093/logcom/exac070
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45844
Mahmood, Y., Meier, A., & Schmidt, J. (2021). Parameterized complexity of abduction in Schaefer’s framework. Journal of Logic and Computation, 31(1), 266–296. https://doi.org/10.1093/logcom/exaa079
LibreCat
| DOI