A Modal Temporal Logic for Reasoning about Change Eric Mays author 1983-06 text 21st Annual Meeting of the Association for Computational Linguistics Association for Computational Linguistics Cambridge, Massachusetts, USA conference publication mays-1983-modal 10.3115/981311.981319 https://aclanthology.org/P83-1006/ 1983-06 38 43