@inproceedings{inproceedings, title = {{Parameterized complexity of propositional inclusion and independence logic}}, publisher = {{Springer Cham}}, url = {{https://eprints.whiterose.ac.uk/id/eprint/201297 }}, year = {{2023}}, month = {{8}}, author = {{Mahmood Y and Virtema J}}, doi = {{10.1007/978-3-031-39784-4_17}}, isbn = {{9783031397837}}, volume = {{LNCS 13923}}, journal = {{Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings}}, pages = {{274-291}}, note = {{Accessed on 2025/12/17}}}