Nominal tense logic and other sorted intensional frameworks (1990)

by P BLACKBURN