Expressive functional completeness in tense logic (1971)

by D Gabbay
Venue:Aspects of Philosophical Logic