Loading [MathJax]/extensions/tex2jax.js

Journal of Logic and Computation

1 - 6 out of 6Page size: 20
Order:

Publications

  1. 2025

  2. Published

    Logics with probabilistic team semantics and the Boolean negation.

    Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., 30 Mar 2025, In: Journal of Logic and Computation. 35, 3, 3.

    Research output: Contribution to journal › Article › Research › peer review

  3. 2022

  4. Published

    A parameterized view on the complexity of dependence and independence logic

    Kontinen, J., Meier, A. & Mahmood, Y., Dec 2022, In: J. Log. Comput.. 32, 8, p. 1624-1644 21 p.

    Research output: Contribution to journal › Article › Research › peer review

  5. 2021

  6. Published

    Parameterized complexity of abduction in Schaefer's framework

    Mahmood, Y., Meier, A. & Schmidt, J., Jan 2021, In: J. Log. Comput.. 31, 1, p. 266-296 31 p., 1.

    Research output: Contribution to journal › Article › Research › peer review

  7. 2019

  8. Published

    Model checking and validity in propositional and modal inclusion logics

    Hella, L., Kuusisto, A., Meier, A. & Virtema, J., Sept 2019, In: Journal of logic and computation. 29, 5, p. 605-630 26 p.

    Research output: Contribution to journal › Article › Research › peer review

  9. 2016

  10. Published

    Modal independence logic

    Kontinen, J., Müller, J. S., Schnoor, H. & Vollmer, H., 25 Jun 2016, In: Journal of Logic and Computation. 27, 5, p. 1333-1352 20 p.

    Research output: Contribution to journal › Article › Research › peer review

  11. 2012

  12. Published

    The complexity of reasoning for fragments of default logic.

    Beyersdorff, O., Meier, A., Thomas, M. & Vollmer, H., 2012, In: J. Log. Comput.. 22, 3, p. 587-604

    Research output: Contribution to journal › Article › Research › peer review