Print Email Facebook Twitter The Logic of Resources and Capabilities Title The Logic of Resources and Capabilities Author Bílková, Marta (Charles University) Greco, G. (Universiteit Utrecht) Palmigiano, A. (TU Delft Ethics & Philosophy of Technology; University of Johannesburg) Tzimoulis, A. (TU Delft Ethics & Philosophy of Technology) Wijnberg, Nachoem (Universiteit van Amsterdam; University of Johannesburg) Date 2018 Abstract 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. Subject 03A9903B2003B4203B4503B6003F0303G10 To reference this document use: http://resolver.tudelft.nl/uuid:582c90fe-b076-49c7-9b17-b23eb63a2db3 DOI https://doi.org/10.1017/S175502031700034X Embargo date 2019-05-22 ISSN 1755-0203 Source Review of Symbolic Logic, 1-40 Part of collection Institutional Repository Document type journal article Rights © 2018 Marta Bílková, G. Greco, A. Palmigiano, A. Tzimoulis, Nachoem Wijnberg Files PDF logic_of_resources_and_ca ... lities.pdf 604.96 KB Close viewer /islandora/object/uuid:582c90fe-b076-49c7-9b17-b23eb63a2db3/datastream/OBJ/view