@inproceedings{inproceedings2a5368ba,
title   = {Horn semantics and Craig interpolation},
author = {Arndt, Peter and Mariano, Hugo Luiz and Pinto, Darllan Conceição},
year = {2025},
publisher = {Sociedade Brasileira de Lógica - SBL},
booktitle   = {Brazilian Logic Conference - EBL 2025}
}