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.
Publication type:
Contributo in atti di convegno
Source:
AAMAS 2014, pp. 1549–1550, 2014
info:cnr-pdr/source/autori:Porello, Daniele; Troquard, Nicolas/congresso_nome:AAMAS 2014/congresso_luogo:/congresso_data:2014/anno:2014/pagina_da:1549/pagina_a:1550/intervallo_pagine:1549–1550
Date:
2014
Resource Identifier:
http://www.cnr.it/prodotto/i/299671
http://www.scopus.com/record/display.url?eid=2-s2.0-84911423667&origin=inward
urn:isbn:9781634391313
Language:
Eng