Expressive functional completeness in tense logic (preliminary report (1981)

by D M Gabbay
Venue:Aspects of Philosophical Logic: Some Logical Forays into Central Notions of Linguistics and Philosophy