1 - 6 von 6Seitengröße: 20
Publikationen
2025
- Veröffentlicht
Logics with probabilistic team semantics and the Boolean negation.
Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., 30 März 2025, in: Journal of Logic and Computation. 35, 3, 3.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
2022
- Veröffentlicht
A parameterized view on the complexity of dependence and dependence logic
Kontinen, J., Meier, A. & Mahmood, Y., Dez. 2022, in: J. Log. Comput.. 32, 8, S. 1624-1644 21 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
2021
- Veröffentlicht
Parameterized complexity of abduction in Schaefer's framework
Mahmood, Y., Meier, A. & Schmidt, J., Jan. 2021, in: J. Log. Comput.. 31, 1, S. 266-296 31 S., 1.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
2019
- Veröffentlicht
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, S. 605-630 26 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
2016
- Veröffentlicht
Modal independence logic
Kontinen, J., Müller, J. S., Schnoor, H. & Vollmer, H., 25 Juni 2016, in: Journal of Logic and Computation. 27, 5, S. 1333-1352 20 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
2012
- Veröffentlicht
The complexity of reasoning for fragments of default logic.
Beyersdorff, O., Meier, A., Thomas, M. & Vollmer, H., 2012, in: J. Log. Comput.. 22, 3, S. 587-604Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review