Reasoning about bargaining situations

摘要: This paper presents a logical axiomatization of bargaining solutions. A situation is described in propositional logic and the bargainers' preferences are quantified terms structure situation. solution to n-person problems proposed based on maxmin rule over degrees satisfaction. We show that uniquely characterized by four natural intuitive axioms as well three other fundamental assumptions. All assumptions represented statements most them have game-theoretic counterpart. The framework would help us identify numerical reasoning behind processes.