Základy logickému systému Transparent Intensional Logic (ďalej aj „TIL“). predstavil P. Tichý v diele: The Foundations of Frege’s Logic. V neskoršom vývoji došlo k zmenám a doplneniam systému, TIL ktoré viedli k vytvoreniu samostatných systémov TIL rozvíjajúcim pôvodný systém P. Tichého. Jedným z týchto systémov je systém pod názvom TIL 2010.

Systém TIL 2010 našiel široké uplatnenie v rámci výskumu prirodzeného jazyka a to okrem iného v oblastiach ako sú analýza rekvizít a esencií a kvantifikácia do hyperintezionálnych kontextov.

Doposiaľ boli identifikované viaceré spory vzťahujúce sa k platnosti viacerých teorémov TIL 2010. Na tieto poukázal M. Kosterec okrem iného v článku: Kosterec M. (2020): Substitution contradiction, its resolution and the Church-Rosser Theorem in TIL. Následne M. Kosterec predstavil modifikovanú verziu TIL pod názvom Transparent Procedural Logic (ďalej aj „TPL“). Dizertačná práca sa venuje výskumu TPL a jej uplatneniu v normatívnom uvažovaní.