Nominal tense logic. Notre Dame (1993)

by P Blackburn
Venue:Journal of Formal Logic