A resource-sensitive account of the use of artifacts

The aim of this abstract is to introduce a formal framework enabling to reason about resource-sensitive uses of artifacts. To achieve this, we integrate (non-normal) modalities into Intuitionistic Linear Logic. The function of an artifact is a (resource-sensitive) linear implication and we interpret each modality as an agent's bringing about of resources.