Intensional Logic in Context – from philosophy to technology

[unclefuzzy]

https://billwadge.wordpress.com/2021/02/21/intensional-logic-in-context-from-philosophy-to-technology/

[bitdizzy]

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.