@ARTICLE {2506,
author={P. Mateus and A. Sernadas and C. Sernadas and L. Viganò},
doi={},
journal={Logic Journal of the IGPL},
title={Modal sequent calculi labelled with truth values: Completeness, duality and analyticity},
year={2004},
month={January},
volume={12},
number={3},
pages={227-274},
ISSN={1367-0751}
}