A Pavlova, T Lang, R. Freiman:
"From Semantic Games to Provability: The Case of Gödel Logic";
Studia Logica, 110 (2021), 429 - 456.
http://dx.doi.org/10.1007/s11225-021-09966-xElectronic version of the publication:
https://publik.tuwien.ac.at/files/publik_299328.pdf