Modal sequent calculi labelled with truth values: Completeness, duality and analyticity (2004)

by P Mateus, A Sernadas, C Sernadas, L Viganò
Venue:Logic Journal of the IGPL