Koucurek, A. W. Hyperlogic: A System for Talking about Logics. Proceedings of the AC 2019, 238-247.