THE LOGIC OF RESOURCES AND CAPABILITIES

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

Research output: Contribution to JournalReview articleAcademicpeer-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 languageEnglish
Pages (from-to)371-410
Number of pages40
JournalReview of Symbolic Logic
Volume11
Issue number2
DOIs
Publication statusPublished - 1 Jun 2018

Fingerprint

Logic
Resources
Calculus
Proof Theory
Multitype
Cut-elimination
Social Behavior
Algebraic Theory
Soundness
Completeness
Correspondence
Intersection
Planning
Framework
Model
Calculi
Semantics

Keywords

  • algebraic proof theory
  • display calculus
  • logics for organizations
  • multitype calculus

Cite this

Bílková, Marta ; Greco, Giuseppe ; Palmigiano, Alessandra ; Tzimoulis, Apostolos ; Wijnberg, Nachoem. / THE LOGIC OF RESOURCES AND CAPABILITIES. In: Review of Symbolic Logic. 2018 ; Vol. 11, No. 2. pp. 371-410.
@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 = "6",
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",

}

THE LOGIC OF RESOURCES AND CAPABILITIES. / Bílková, Marta; Greco, Giuseppe; Palmigiano, Alessandra; Tzimoulis, Apostolos; Wijnberg, Nachoem.

In: Review of Symbolic Logic, Vol. 11, No. 2, 01.06.2018, p. 371-410.

Research output: Contribution to JournalReview articleAcademicpeer-review

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

VL - 11

SP - 371

EP - 410

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

SN - 1755-0203

IS - 2

ER -