Počet záznamů: 1  

The Logic of Resources and Capabilities

  1. 1.
    0497856 - ÚI 2019 GB eng J - Článek v odborném periodiku
    Bílková, Marta - Greco, G. - Palmigiano, A. - Tzimoulis, A. - Wijnberg, N.
    The Logic of Resources and Capabilities.
    Review of Symbolic Logic. Roč. 11, č. 2 (2018), s. 371-410. ISSN 1755-0203. E-ISSN 1755-0211
    Klíčová slova: dynamic epistemic logic * modal logic * algorithmic correspondence * sahlqvist theory * proof theory * calculus * canonicity * semantics * property * ability * display calculus * logics for organizations * multitype calculus * algebraic proof theory
    Impakt faktor: 0.731, rok: 2018

    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.
    Trvalý link: http://hdl.handle.net/11104/0290334

     
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.