In this book the author surveys the minimal model program for quasi-log schemes. Quasi-log schemes arise naturally in the context of the minimal model program, they generalize the non-klt locus of a log canonical pair. The main results discussed in this paper are the adjunction and vanishing theorems, the base point free theorem, the rationality theorem and the cone theorem for quasi-log schemes.