On structural proof theory of the modal logic K+ extended with infinitary derivations. - Shamkanov, Daniyar (Logic Journal of the IGPL, 2025)