A resource-sensitive logic of agency

zbMATH Open1366.03238MaRDI QIDQ5283032FDOQ5283032

Authors: Daniele Porello, Nicolas Troquard 

Publication date: 18 July 2017

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Title not available (Why is that?)
• The propositional logic of elementary tasks
• Title not available (Why is that?)
• On the dynamic logic of agency and action
• Resource sharing linear logic
• Non-normal modalities in variants of linear logic
• A dynamic logic of agency. I: STIT, capabilities and powers
• The virtues of idleness: a decidable fragment of resource agent logic

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)