Marcelo Coniglio
Formal (in)consistency, abduction and modalities
2017
in: Springer handbook of model-based science, Dordrecht : Springer
A formal framework for hypersequent calculi and their fibring
2015
in: The road to universal logic I, Basel : Birkhäuser
On discourses addressed by infidel logicians
2013
in: Paraconsistency, Dordrecht : Springer