Modal Sequent Calculi Labelled with Truth-values: Completeness, Duality and Analyticity