by Robert Freiman
Reference:
Games for Hybrid Logic - From Semantic Games to Analytic CalculiRobert FreimanLogic, Language, Information, and Computation - 27th International Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings (Alexandra Silva, Renata Wassermann, Ruy J. G. B. de Queiroz, eds.), volume 13038 of Lecture Notes in Computer Science, pages 133–149, 2021, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{DBLP:conf/wollic/Freiman21,
author = {Robert Freiman},
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Games for Hybrid Logic - From Semantic Games to Analytic Calculi},
booktitle = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
pages = {133--149},
publisher = {Springer},
year = {2021},
url = {https://arxiv.org/pdf/2206.00349.pdf},
doi = {10.1007/978-3-030-88853-4\_9},
timestamp = {Wed, 03 Nov 2021 08:28:28 +0100}
}