Search
 
loader loading subjects...
cover
A resource-sensitive logic of agency
Daniele Porello, Nicolas Troquard
723 - 728
10.3233/978-1-61499-419-0-723
Frontiers in Artificial Intelligence and Applications
Volume 263: ECAI 2014
Abstract

We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic of agency. In particular, we apply it to reason about the resource-sensitive use of artefacts.

Download
Creative Commons License