Expressive functional completeness in tense logic (1981)

by D Gabbay
Venue:In Aspects of Philosophical Logic