@misc{miscca4d7fc8,
title   = {Book of abstracts do XXI Brazilian Logic Conference - EBL 2025},
author = {Antunes, Henrique and Fajardo, Rogério Augusto dos Santos},
year = {2025},
publisher = {Sociedade Brasileira de Lógica - SBL},
booktitle   = {Brazilian Logic Conference - EBL}
}