A body of formal systems used to represent statements about necessity and possibility.