A Modal Temporal Logic for Reasoning about Change

Eric Mays


Anthology ID:
P83-1006
Volume:
21st Annual Meeting of the Association for Computational Linguistics
Month:
June
Year:
1983
Address:
Cambridge, Massachusetts, USA
Venue:
ACL
SIG:
Publisher:
Association for Computational Linguistics
Note:
Pages:
38–43
Language:
URL:
https://aclanthology.org/P83-1006
DOI:
10.3115/981311.981319
Bibkey:
Cite (ACL):
Eric Mays. 1983. A Modal Temporal Logic for Reasoning about Change. In 21st Annual Meeting of the Association for Computational Linguistics, pages 38–43, Cambridge, Massachusetts, USA. Association for Computational Linguistics.
Cite (Informal):
A Modal Temporal Logic for Reasoning about Change (Mays, ACL 1983)
Copy Citation:
PDF:
https://aclanthology.org/P83-1006.pdf