The University of Southampton
University of Southampton Institutional Repository

Game semantics for the Geiger-Paz-Pearl axioms of independence

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.
0302-9743
220-232
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Nicholls, Brittany
47ed5b74-5992-4a08-8edb-357f6c0dd0bb
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, pp. 220-232 . (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
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 04 Apr 2023 16:49
Last modified: 06 Jun 2024 02:12

Export record

Altmetrics

Contributors

Author: Pavel Naumov ORCID iD
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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×