On the complexity of infinitary action logic with multiplexing.доклад на конференции