@inbook{c6110a95c7f944468ffd1556186decd9,
title = "Back and forth through time and events: (Extended abstract)",
abstract = "In this extended abstract back-and-forth structures are defined and applied to the semantics of natural language. Back-and-forth structures consist of an event structure and an interval structure communicating via a relational link; transitions in the one structure correspond to transitions in the other. Such structures enable us to view temporal constructions (such as tense, aspect, and temporal connectives) as methods of moving systematically between information sources. We illustrate this with a treatment of the English present perfect, and progressive aspect, that draws on ideas developed in Moens and Steedman (1988).",
keywords = "Eventuality Structure, Speech Time, Interval Structure, Temporal Connective, Eventuality Occurrence, Eventuality Structure, Speech Time, Interval Structure, Temporal Connective, Eventuality Occurrence",
author = "Patrick Blackburn and Claire Gardent and {de Rijke}, Maarten",
year = "1994",
doi = "10.1007/bfb0013991",
language = "English",
isbn = "9783540582410",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "225--237",
editor = "Gabbay, {Dov M.} and Ohlbach, {Hans Jurgen}",
booktitle = "Temporal Logic - 1st International Conference, ICTL 1994, Proceedings",
note = "1st International Conference on Temporal Logic, ICTL 1994 ; Conference date: 11-07-1994 Through 14-07-1994",
}