Redirecting to https://consequently.org/slides/nassli2016-pt-lpa-4-hypersequents-for-modal-logics.pdf