Expressive Functional Completeness in Tense Logic (1981)

by D Gabbay
Venue:in: Aspects of Philosophical Logic