Schwartz, Y. and Tourlakis, G. 2013. On the proof-theory of a first-order extension of GL. Logic and Logical Philosophy. 23, 3 (Sep. 2013), 329–363. DOI:https://doi.org/10.12775/LLP.2013.030.