A Path Characterization Of Validity For Multimodal Logics