. "Mathematics" . . . . . "named entity 'modal logics'" . . . .