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, Miika, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, and Jonni Virtema. “Logics with Probabilistic Team Semantics and the Boolean Negation.” Journal of Logic and Computation 35, no. 3 (2025). https://doi.org/10.1093/logcom/exaf021.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 45847
Kontinen, Juha, Arne Meier, and Yasir Mahmood. “A Parameterized View on the Complexity of Dependence and Independence Logic.” Journal of Logic and Computation 32, no. 8 (2022): 1624–44. https://doi.org/10.1093/logcom/exac070.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45844
Mahmood, Yasir, Arne Meier, and Johannes Schmidt. “Parameterized Complexity of Abduction in Schaefer’s Framework.” Journal of Logic and Computation 31, no. 1 (2021): 266–96. https://doi.org/10.1093/logcom/exaa079.
LibreCat
| DOI