Nonperturbative Second Law of Black Hole Mechanics in Effective Field Theory

We describe a method for defining dynamical black hole entropy in gravitational effective field theories. The entropy is constructed order by order in derivatives. For any fixed number of derivatives, the entropy satisfies a nonperturbative second law of black hole mechanics if the black hole remains within the regime of validity of effective field theories. In equilibrium the entropy reduces to the Wald entropy. It reduces to the entropy defined by Hollands et al. in theories of vacuum gravity with up to ten derivatives.