Paulo Mateus João Rasga Cristina Sernadas Modal Sequent Calculi Labelled with Truth Values: Cut Elimination. 173-199 2005 13 Logic Journal of the IGPL 2 http://dx.doi.org/10.1093/jigpal/jzi013 db/journals/igpl/igpl13.html#MateusRS05