Mahmood, Yasir; Meier, Arne
(Dordrecht [u.a.] : Springer Science + Business Media B.V, 2021)
Dependence Logic was introduced by Jouko Väänänen in 2007. We study a propositional variant of this logic (PDL) and investigate a variety of parameterisations with respect to central decision problems. The model checking ...