Game Semantics for the Geiger-Paz-Pearl Axioms of Independence

Pavel Naumov, Brittany Nicholls. Game Semantics for the Geiger-Paz-Pearl Axioms of Independence. In Hans P. van Ditmarsch, Jérôme Lang, Shier Ju, editors, Logic, Rationality, and Interaction - Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011. Proceedings. Volume 6953 of Lecture Notes in Computer Science, pages 220-232, Springer, 2011. [doi]

Abstract

Abstract is missing.