Intensional logic theory and applications (Philos. Soc. of Finland, 1982)