Normalisation for some infectious logics and their relativesдоклад на конференции