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, et al. “Logics with Probabilistic Team Semantics and the Boolean Negation.” Journal of Logic and Computation, vol. 35, no. 3, Oxford University Press (OUP), 2025, doi:10.1093/logcom/exaf021.
LibreCat
| DOI
2022 | Journal Article | LibreCat-ID: 45847
Kontinen, Juha, et al. “A Parameterized View on the Complexity of Dependence and Independence Logic.” Journal of Logic and Computation, vol. 32, no. 8, Oxford University Press (OUP), 2022, pp. 1624–44, doi:10.1093/logcom/exac070.
LibreCat
| DOI
2021 | Journal Article | LibreCat-ID: 45844
Mahmood, Yasir, et al. “Parameterized Complexity of Abduction in Schaefer’s Framework.” Journal of Logic and Computation, vol. 31, no. 1, Oxford University Press (OUP), 2021, pp. 266–96, doi:10.1093/logcom/exaa079.
LibreCat
| DOI