Using first-order logic, construct a formal step-by-step proof for the validity of the following argument: 'All humans are mortal. Socrates is a human. Therefore, Socrates is mortal.' Additionally, expand this to include modal logic operators for necessity and possibility, explaining the validity in possible world semantics.