Game semantics for the Geiger-Paz-Pearl axioms of independence
Game semantics for the Geiger-Paz-Pearl axioms of independence
The paper analyzes interdependencies between strategies of players in a Nash equilibrium using independence relation between two sets of players. A sound and complete axiomatization of this relation is given. It has been shown previously that the same axiomatic system describes independence in probability theory, information flow, and concurrency theory.
220-232
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Nicholls, Brittany
47ed5b74-5992-4a08-8edb-357f6c0dd0bb
13 October 2011
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Nicholls, Brittany
47ed5b74-5992-4a08-8edb-357f6c0dd0bb
Naumov, Pavel and Nicholls, Brittany
(2011)
Game semantics for the Geiger-Paz-Pearl axioms of independence.
In Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Proceedings.
vol. 6953 LNAI,
.
(doi:10.1007/978-3-642-24130-7_16).
Record type:
Conference or Workshop Item
(Paper)
Abstract
The paper analyzes interdependencies between strategies of players in a Nash equilibrium using independence relation between two sets of players. A sound and complete axiomatization of this relation is given. It has been shown previously that the same axiomatic system describes independence in probability theory, information flow, and concurrency theory.
This record has no associated files available for download.
More information
Published date: 13 October 2011
Venue - Dates:
3rd International Workshop on Logic, Rationality and Interaction, LORI 2011, , Guangzhou, China, 2011-10-10 - 2011-10-13
Identifiers
Local EPrints ID: 476028
URI: http://eprints.soton.ac.uk/id/eprint/476028
ISSN: 0302-9743
PURE UUID: c2caf4c0-417e-4287-8f3b-18a2d07d5fe4
Catalogue record
Date deposited: 04 Apr 2023 16:49
Last modified: 06 Jun 2024 02:12
Export record
Altmetrics
Contributors
Author:
Pavel Naumov
Author:
Brittany Nicholls
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics