From Semantic Games to Provability: The Case of Gödel Logic (bibtex)
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}
}
Powered by bibtexbrowser