1 citations to https://www.mathnet.ru/eng/ljour8
  1. Daniyar Shamkanov, “On structural proof theory of the modal logic K+ extended with infinitary derivations”, Logic Journal of the IGPL, 2024  crossref