Logarithmic $A_{\mathrm{inf}}$-cohomology, Part II
We develop a theory of logarithmic $A_{\mathrm{inf}}$-cohomology with coefficients for a class of $p$-adic log formal schemes that are ``sufficiently log smooth'', where the coefficients are given by relative log BKF modules. Then we establish comparison isomorphisms with \'etale, de Rham, and crystalline cohomology, a...