  We develop a theory of log adic spaces by combining the theories of adic
spaces and log schemes, and study the Kummer \'etale and pro-Kummer \'etale
topology for such spaces. We also establish the primitive comparison theorem in
this context, and deduce from it some related cohomological finiteness or
vanishing results.
