Intensional Logic in Context – from philosophy to technology (billwadge.wordpress.com)

A minor point on the history: the term intensional had been in use decades prior as counterpart of extensional ot denotational. What Carnap did was give those terms a technical foundation in model theoretic language.