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

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