  Carnap’s ideas were extended and formalized by Richard Montague, Pavel Tichý, and Aldo Bressan, independently. All made use of some version of Kripke/Hintikka possible world semantics, instead of the more specialized structure of Carnap. All treated intensions functionally.