"named entity 'modal logic'" . . . . . . . . . "Mathematics" .