Derived Logarithmic Geometry I

In order to develop the foundations of logarithmic derived geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log etale maps and use this to define derived log stacks.