Expressiveness and completeness of an interval tense logic (1990)

by Y Venema
Venue:Notre Dame Journal of Formal Logic