Koucurek, Alexander W. “Hyperlogic: A System for Talking about Logics”. Proceedings of the Amsterdam Colloquium, Dec. 2019, pp. 238-47, https://doi.org/10.53437/a3s7re11.