Title: Logics of Variable Inclusion