I try to learn basic things on logarithmic geometry, and in particular I don't find much on the category of coherent sheaves on a logarithmic scheme: is it a notion that makes sense or differ from coherent sheaves on the underlying scheme?

If such a category exists, do we have nice homological properties, such as being of homological dimension $n$ for a *log* smooth projective variety of dimension $n$?

Any reference on the subject is welcome!