Nominal Tense Logic and Other Sorted Intensional Frameworks (1990)

by P Blackburn
Venue:Centre for Cognitive Science, University of Edinburgh