Koucurek, A. W. (2019). Hyperlogic: A System for Talking about Logics. Proceedings of the Amsterdam Colloquium, 238-247. https://platform.openjournals.nl/PAC/article/view/22035