with Coniglio, M. , 2015, A formal framework for hypersequent calculi and their fibring, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic I, Basel, Birkhäuser, pp. 73-93.