On the finiteness of log surfaces

We generalize the Kawamata–Matsuki conjecture to klt log pairs and prove it in dimension two. More precisely, we show that a log surface admits only finitely many weakly log canonical projective models with klt singularities up to log isomorphism, by reducing the problem to boundedness of polarizations.