Labeled sequent calculusfor justification logics