Modailty deals with what is necessary and what is possible; e.g., a necessary truth is a proposition that could not have been false, a necessary existent is an entity that could not have failed to exist, etc.