Paulo Mateus, Amílcar Sernadas, Cristina Sernadas, Luca Viganò. Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity. Logic Journal of the IGPL, 12(3):227-274, 2004. [doi]
@article{MateusSSV04, title = {Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity}, author = {Paulo Mateus and Amílcar Sernadas and Cristina Sernadas and Luca Viganò}, year = {2004}, doi = {10.1093/jigpal/12.3.227}, url = {http://dx.doi.org/10.1093/jigpal/12.3.227}, tags = {completeness}, researchr = {https://researchr.org/publication/MateusSSV04}, cites = {0}, citedby = {0}, journal = {Logic Journal of the IGPL}, volume = {12}, number = {3}, pages = {227-274}, }