Parameterised Complexity of Propositional Inclusion and Independence Logic

Yasir Mahmood, Jonni Virtema

We give a comprehensive account on the parameterized complexity of model checking and satisfiability of propositional inclusion and independence logic. We discover that for most pa…