Logics of Variable Inclusion