---
title: "A Logical Model of Nash Bargaining Solution"
authors:
  - "Dongmo Zhang"
doi: ""
url: "https://ijcai.org/proceedings/2005/33"
pdf: "https://ijcai.org/proceedings/2005/0033.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "983-989"
track: ""
keywords:
---

# A Logical Model of Nash Bargaining Solution

Dongmo Zhang

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 983-989.

## Abstract

This paper presents a logical extension of Nash’s Cooperative Bargaining Theory. We introduce a concept of entrenchment measurement, which maps propositions to real numbers, as a vehicle to represent agent’s belief states and attitudes towards bargaining situations. We show that Nash’s bargaining solution can be restated in terms of bargainers belief states. Negotiable items, bargaining outcomes and conflicting arguments can then be explicitly expressed in propositional logic meanwhile Nash’s numerical solution to bargaining problem is still applicable.