This document defines and describes sonic logging. Sonic logging measures the travel time of sound waves through rock formations using a downhole tool. There are different types of measuring waves including P, S, Stoneley, and mud waves. Sonic tools have evolved over time from early tools with one transmitter and receiver to dual receiver and borehole compensated tools. Sonic logs can be used to determine porosity, identify lithology, correlate formations, analyze compaction, detect overpressure, and generate synthetic seismograms.