We provide a new formalism of de Rham--Witt complexes in the logarithmic setting. This construction generalizes a result of Bhatt--Lurie--Mathew, and agrees with those of Hyodo--Kato and Matsuue for log-smooth schemes of log-Cartier type. We then apply our formalism to obtain a more direct proof of the log crystalline comparison of A_inf-cohomology in the case of semistable reduction, which is established by Cesnavicius--Koshiwara.
Download