TY - JOUR
T1 - The Logic of Resources and Capabilities
AU - Bílková, Marta
AU - Greco, Giuseppe
AU - Palmigiano, Alessandra
AU - Tzimoulos, Apostolos
AU - Wijnberg, Nachoem
PY - 2018
Y1 - 2018
N2 - We introduce the logic LRC, designed to describe and reason about agents’ abilities and capabilities in using resources. The proposed framework bridges two—up to now—mutually independent strands of literature: the one on logics of abilities and capabilities, developed within the theory of agency, and the one on logics of resources, motivated by program semantics. The logic LRC is suitable to describe and reason about key aspects of social behaviour in organizations. We prove a number of properties enjoyed by LRC (soundness, completeness, canonicity, and disjunction property) and its associated analytic calculus (conservativity, cut elimination, and subformula property). These results lay at the intersection of the algebraic theory of unified correspondence and the theory of multitype calculi in structural proof theory. Case studies are discussed which showcase several ways in which this framework can be extended and enriched while retaining its basic properties, so as to model an array of issues, both practically and theoretically relevant, spanning from planning problems to the logical foundations of the theory of organizations.
AB - We introduce the logic LRC, designed to describe and reason about agents’ abilities and capabilities in using resources. The proposed framework bridges two—up to now—mutually independent strands of literature: the one on logics of abilities and capabilities, developed within the theory of agency, and the one on logics of resources, motivated by program semantics. The logic LRC is suitable to describe and reason about key aspects of social behaviour in organizations. We prove a number of properties enjoyed by LRC (soundness, completeness, canonicity, and disjunction property) and its associated analytic calculus (conservativity, cut elimination, and subformula property). These results lay at the intersection of the algebraic theory of unified correspondence and the theory of multitype calculi in structural proof theory. Case studies are discussed which showcase several ways in which this framework can be extended and enriched while retaining its basic properties, so as to model an array of issues, both practically and theoretically relevant, spanning from planning problems to the logical foundations of the theory of organizations.
KW - 03A99
KW - 03B20
KW - 03B42
KW - 03B45
KW - 03B60
KW - 03F03
KW - 03G10
UR - http://resolver.tudelft.nl/uuid:582c90fe-b076-49c7-9b17-b23eb63a2db3
UR - http://www.scopus.com/inward/record.url?scp=85047257088&partnerID=8YFLogxK
U2 - 10.1017/S175502031700034X
DO - 10.1017/S175502031700034X
M3 - Article
AN - SCOPUS:85047257088
SN - 1755-0203
SP - 1
EP - 40
JO - Review of Symbolic Logic
JF - Review of Symbolic Logic
ER -