10.1017/S1351324900002242
10.1093/jigpal/9.1.83
ramsay, 2000, Models and discourse models, Journal of Language and Com-putation, 1, 167
reichenbach, 1956, The Direction of Time
10.3115/992730.992758
10.1007/978-94-015-7911-7
meulen, 1995, Representing Time in Natural Language The Dynamic Interpretation of Tense and Aspect, 10.7551/mitpress/5897.001.0001
wallen, 1987, Matrix proofs for modal logics, IJCAI-87
10.1007/BFb0012847
keisler, 1976, Foundations of Infinitesimal Calcu-lus
pustejovsky, 1991, The generative lexicon, Computational Linguistics, 17, 409
moens, 1988, Temporal ontology and temporal reference, Computational Linguis-tics, 14, 15
10.1007/BF00881857
10.1007/BF00249019
gabbay, 1996, Labelled Deductive Systems
10.3115/993268.993322
10.1007/978-94-009-9473-7