Horn semantics and Craig interpolation - Arndt, Peter; Mariano, Hugo Luiz; Pinto, Darllan Conceição (Brazilian Logic Conference - EBL 2025, 2025)