A resource-sensitive logic of agency

MaRDI QIDQ5283032zbMATHFDO

Authors Daniele Porello, Nicolas Troquard

Publication date 18 July 2017

Full work available at URL http://ebooks.iospress.nl/volumearticle/37027

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Non-normal modalities in variants of linear logic
• Resource sharing linear logic
• scientific article; zbMATH DE number 1678395
• THE LOGIC OF RESOURCES AND CAPABILITIES
• A substructural epistemic resource logic: theory and modelling applications

Cited in

(8)

• A dynamic logic of agency. I: STIT, capabilities and powers
• scientific article; zbMATH DE number 2051381 (Why is no real title available?)
• Non-normal modalities in variants of linear logic
• Resource sharing linear logic
• The virtues of idleness: a decidable fragment of resource agent logic
• The propositional logic of elementary tasks
• scientific article; zbMATH DE number 1678395 (Why is no real title available?)
• On the dynamic logic of agency and action

This page was built for publication: A resource-sensitive logic of agency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283032)