Transparentní intenzionální logika

Technicky jde o typovaný hyperintenzionální parciální lambda-kalkul vytvořený pro analýzu přirozeného jazyka. Vzhledem ke své expresivitě se hodí například na řízení umělé inteligence.