The foundations of the logical system Transparent Intensional Logic (hereinafter also referred to as 'TIL') were introduced by P. Tichý in the work: The Foundations of Frege’s Logic. In later developments, changes and additions were made to the TIL system, which led to the creation of independent TIL systems developing the original system of P. Tichý. One of these systems is the system called TIL 2010.

The TIL 2010 system found wide application in the research of natural language, among other things, in areas such as the analysis of requisites and essences and quantification into hyperintensional contexts.

Several problems related to the validity of various theorems of TIL 2010 have been identified to date. These were pointed out by M. Kosterec, among others, in the article: Kosterec M. (2020): Substitution contradiction, its resolution, and the Church-Rosser Theorem in TIL. Then M. Kosterec introduced a modified version of TIL under the name Transparent Procedural Logic (hereinafter also referred to as 'TPL'). The dissertation focuses on the research of TPL and its application in normative reasoning.