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]
No references recorded for this publication.
No citations of this publication recorded.