Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence. - Rafael Albert; Erich Grädel (Ann. Pure Appl. Log., 2022)