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