Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence.