Modelling Multilateral Negotiation in Linear Logic
From MaRDI portal
Publication:2999164
DOI10.3233/978-1-60750-606-5-381zbMath1211.68454OpenAlexW2295918811MaRDI QIDQ2999164
Publication date: 11 May 2011
Full work available at URL: https://philpapers.org/archive/PORMMN.pdf
Logic in artificial intelligence (68T27) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Agent technology and artificial intelligence (68T42)
Related Items
Non-normal modalities in variants of linear logic ⋮ Judgement aggregation in non-classical logics ⋮ Applications of Logic in Social Choice Theory
This page was built for publication: Modelling Multilateral Negotiation in Linear Logic