Bahareh Afshari. Cyclic Proof Systems for Modal Logics. In Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu, editors, 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020. pages 3, College Publications, 2020. [doi]
@inproceedings{Afshari20,
title = {Cyclic Proof Systems for Modal Logics},
author = {Bahareh Afshari},
year = {2020},
url = {http://www.aiml.net/volumes/volume13/Afshari.pdf},
researchr = {https://researchr.org/publication/Afshari20},
cites = {0},
citedby = {0},
pages = {3},
booktitle = {13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020},
editor = {Nicola Olivetti and Rineke Verbrugge and Sara Negri and Gabriel Sandu},
publisher = {College Publications},
isbn = {978-1-84890-341-8},
}