Subfield of metaphysics dealing with modal statements.