Nonlinear acoustic phenomena are highly relevant in many applications, from medical imaging to industrial cleaning. This talk first provides an overview of how the modeling equations arise from fundamental physical principles, such as the Navier–Stokes equations, and how standard models can be extended, for example, by incorporating fractional damping due to viscoelasticity. Then, while second-order wave equations are standard, we focus on a first-order-in-time formulation and highlight key aspects of a proof of existence and uniqueness of solutions in suitable Sobolev spaces.