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.
A resource-sensitive account of the use of artifacts
Porello Daniele;Troquard Nicolas
2014
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
