by Alexandra Pavlova, Robert Freiman, Timo Lang
Reference:
From Semantic Games to Provability: The Case of Gödel LogicAlexandra Pavlova, Robert Freiman, Timo LangStudia Logica, volume 110, number 2, pages 429–456, 2022, Springer Verlag.
Bibtex Entry:
@article{Pavlova2022-PAVFSG,
volume = {110},
pages = {429--456},
author = {Alexandra Pavlova and Robert Freiman and Timo Lang},
title = {From Semantic Games to Provability: The Case of G\"{o}del Logic},
year = {2022},
number = {2},
publisher = {Springer Verlag},
doi = {10.1007/s11225-021-09966-x},
journal = {Studia Logica}
}