2024/10/28 by Lorenzo Ceragioli, Pierpaolo Degano, Ceragioli, Lorenzo +5
Business, Management and Accounting · Economics, Econometrics and Finance · #Business #Climate Change Policy and Economics #Computer science #Natural Resources and Economic Development #State Capitalism and Financial Governance
paper · pdf · doi:10.46298/lmcs-22(3:2)2026
openalex created_date 2025/10/10 · openalex publication_date 2026/07/20 · openalex updated_date 2026/08/05
People increasingly use digital platforms to exchange resources in accordance with some policies stating what resources users offer and what they require in return. In this paper, we propose a formal model of these environments, focussing on how users' policies are defined and enforced, so ensuring that malicious users cannot take advantage of honest ones. To that end, we introduce the declarative policy language MuAC and equip it with a formal semantics. To determine if a resource exchange is fair, i.e., if it respects the MuAC policies in force, we introduce the non-standard logic MuACL that combines non-linear, linear and contractual aspects, and prove it decidable. Notably, the operator for contractual implication of MuACL is not expressible in linear logic. We define a semantics preserving compilation of MuAC policies into MuACL, thus establishing that exchange fairness is reduced to finding a proof in MuACL. Finally, we show how this approach can be put to work on a blockchain to exchange non-fungible tokens.