@Article{ vigano:modal:2004, author = {Paulo Mateus and Am\'{\i}lcar Sernadas and Cristina Sernadas and Luca Vigan{\`o}}, copyright = {Oxford University Press}, copyrighturl = {http://www3.oup.co.uk/igpl/}, journal = {Logic Journal of the Interest Group in Pure and Applied Logics (IGPL)}, language = {USenglish}, number = 3, pages = {227--274}, title = {Modal sequent calculi labelled with truth values: completeness, duality and analyticity}, url = {http://www3.oup.co.uk/igpl/}, volume = 12, year = 2004, user = {lvigano} }