Raclavský, J. “On the Interaction of Semantics and Deduction in Transparent Intensional Logic (Is Tichý’s Logic a logic?)”. Logic and Logical Philosophy, vol. 23, no. 1, Oct. 2013, pp. 57–68, doi:10.12775/LLP.2013.035.