Modal metaphysics is a branch of philosophy that investigates the metaphysics underlying statements about possible or neccesary statements.[1]