Pavel Naumov Margaret Protzman

The notion of interchangeability was introduced by Nash in one of his original papers on equilibria in strategic games. It has been recently shown that propositional theory of this relation is the same as propositional theories of the nondeducibility relation in the information ow theory, the independence relation in probability theory, and the noninterference relation in concurrency theory.

Propositional theories of conditional nondeducibility and conditional independence have been studied before. This article introduces a notion of conditional interchangeability and gives complete axiomatization of this relation with conditioning by a single player. [pdf]