Koucurek, A.W. 2019. Hyperlogic: A System for Talking about Logics. Proceedings of the Amsterdam Colloquium. (Dec. 2019), 238–247.