THE LOGIC OF RESOURCES AND CAPABILITIES

Marta Bílková; Giuseppe Greco; Alessandra Palmigiano; Apostolos Tzimoulis; Nachoem Wijnberg

doi:10.1017/S175502031700034X

THE LOGIC OF RESOURCES AND CAPABILITIES

Marta Bílková, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis, Nachoem Wijnberg

Management and Organisation

Research output: Contribution to Journal › Review article › Academic › peer-review

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.

Original language	English
Pages (from-to)	371-410
Number of pages	40
Journal	Review of Symbolic Logic
Volume	11
Issue number	2
DOIs	https://doi.org/10.1017/S175502031700034X
Publication status	Published - 1 Jun 2018

Funding

The research of the first author has been supported by the project SEGA: From Shared Evidence to Group Agency, of the Czech Science Foundation, and DFG no. 16-07954J. The research of the second author was also supported by the Values4Water project, subsidised by the Responsible Innovation research programme, which is partly financed by the Netherlands Organisation for Scientific Research (NWO) under Grant Number 313-99-316. The research of the second, third, and fourth author has been made possible by the NWO Vidi grant 016.138.314, the NWO Aspasia grant 015.008.054, and a Delft Technology Fellowship awarded in 2013.

Funders	Funder number
Deutsche Forschungsgemeinschaft	16-07954J
Grantová Agentura České Republiky
Nederlandse Organisatie voor Wetenschappelijk Onderzoek	015.008.054, 313-99-316, 016.138.314

Keywords

algebraic proof theory
display calculus
logics for organizations
multitype calculus

Access to Document

10.1017/S175502031700034X

Persistent URL (handle)

Copy link address

Cite this

@article{fbee96e354524fc68c6bb8fa4e637213,

title = "THE LOGIC OF RESOURCES AND CAPABILITIES",

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.",

keywords = "algebraic proof theory, display calculus, logics for organizations, multitype calculus",

author = "Marta B{\'i}lkov{\'a} and Giuseppe Greco and Alessandra Palmigiano and Apostolos Tzimoulis and Nachoem Wijnberg",

year = "2018",

month = jun,

day = "1",

doi = "10.1017/S175502031700034X",

language = "English",

volume = "11",

pages = "371--410",

journal = "Review of Symbolic Logic",

issn = "1755-0203",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - THE LOGIC OF RESOURCES AND CAPABILITIES

AU - Bílková, Marta

AU - Greco, Giuseppe

AU - Palmigiano, Alessandra

AU - Tzimoulis, Apostolos

AU - Wijnberg, Nachoem

PY - 2018/6/1

Y1 - 2018/6/1

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 - algebraic proof theory

KW - display calculus

KW - logics for organizations

KW - multitype calculus

UR - http://www.scopus.com/inward/record.url?scp=85047257088&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85047257088&partnerID=8YFLogxK

U2 - 10.1017/S175502031700034X

DO - 10.1017/S175502031700034X

M3 - Review article

AN - SCOPUS:85047257088

SN - 1755-0203

VL - 11

SP - 371

EP - 410

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

IS - 2

ER -

THE LOGIC OF RESOURCES AND CAPABILITIES

Abstract

Funding

Keywords

Access to Document

Persistent URL (handle)

Other files and links

Fingerprint

Cite this