pdf bibA Modal Temporal Logic for Reasoning about ChangeEric Mays21st Annual Meeting of the Association for Computational Linguistics