by Alexandra Pavlova
Reference:
Provability Games for Non-Classical LogicsAlexandra PavlovaChapter in Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5?8, 2021, Proceedings (Alexandra Silva, Renata Wassermann, Ruy de Queiroz, eds.), pages 408–425, 2021, Springer Verlag.
Bibtex Entry:
@incollection{Pavlova2021-PAVPGF,
author = {Alexandra Pavlova},
publisher = {Springer Verlag},
editor = {Alexandra Silva and Renata Wassermann and Ruy de Queiroz},
year = {2021},
title = {Provability Games for Non-Classical Logics},
booktitle = {Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5?8, 2021, Proceedings},
pages = {408--425}
}