A Logical Foundation for Environment Classifiers (Logical Methods in Computer Science, 2010)