Marcelo Coniglio
3 Publikationen
Formal (in)consistency, abduction and modalities
2017
in: Springer handbook of model-based science, Berlin,
A formal framework for hypersequent calculi and their fibring
2015
in: The road to universal logic I, Basel,
3 Publikationen