{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:35:18Z","timestamp":1649198118799},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"S1","license":[{"start":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T00:00:00Z","timestamp":1365120000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1007\/s11229-013-0277-1","type":"journal-article","created":{"date-parts":[[2013,4,4]],"date-time":"2013-04-04T14:12:07Z","timestamp":1365084727000},"page":"57-78","source":"Crossref","is-referenced-by-count":1,"title":["On interchangeability of Nash equilibria in multi-player strategic games"],"prefix":"10.1007","volume":"190","author":[{"given":"Pavel","family":"Naumov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brittany","family":"Nicholls","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,4,5]]},"reference":[{"key":"277_CR1","doi-asserted-by":"crossref","unstructured":"Cohen, E. (1977). Information transmission in computational systems. In Proceedings of sixth ACM symposium on operating systems principles (pp. 113\u2013139). Association for Computing Machinery.","DOI":"10.1145\/1067625.806556"},{"key":"277_CR2","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1098\/rstl.1710.0018","volume":"27","author":"A Moivre de","year":"1711","unstructured":"de Moivre, A. (1711). De Mensura Sortis seu; de Probabilitate Eventuum in Ludis a Casu Fortuito Pendentibus. Philosophical Transactions (1683\u20131775), 27, 213\u2013264.","journal-title":"Philosophical Transactions (1683\u20131775)"},{"key":"277_CR3","unstructured":"de Moivre, A. (1718). Doctrine of chances. London: Pearson."},{"key":"277_CR4","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"EW Dijkstra","year":"1971","unstructured":"Dijkstra, E. W. (1971). Hierarchical ordering of sequential processes. Acta Informatica, 1, 115\u2013138.","journal-title":"Acta Informatica"},{"key":"277_CR5","unstructured":"Donders, M. S., More, S. M., & Naumov, P. (2011). Information flow on directed acyclic graphs. In L. D. Beklemishev, R. de Queiroz (Eds.), WoLLIC, Lecture notes in computer science (Vol. 6642, pp. 95\u2013109). Berlin: Springer."},{"key":"277_CR6","unstructured":"Encyclop\u00e6dia Britannica. (1998). In A. de Moivre (Ed.) The new encyclop\u00e6dia britannica (15 ed., Vol. 8, p. 226). Chicago: Encyclop\u00e6dia Britannica."},{"issue":"1","key":"277_CR7","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1016\/0890-5401(91)90077-F","volume":"91","author":"D Geiger","year":"1991","unstructured":"Geiger, D., Paz, A., & Pearl, J. (1991). Axioms and algorithms for inferences involving probabilistic independence. Computing and Informatics, 91(1), 128\u2013141.","journal-title":"Computing and Informatics"},{"issue":"1","key":"277_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1410234.1410239","volume":"12","author":"JY Halpern","year":"2008","unstructured":"Halpern, J. Y., & O\u2019Neill, K. R. (2008). Secrecy in multiagent systems. ACM Transactions on Information and System Security, 12(1), 1\u201347.","journal-title":"ACM Transactions on Information and System Security"},{"issue":"2","key":"277_CR9","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1006\/inco.1995.1148","volume":"122","author":"C Herrmann","year":"1995","unstructured":"Herrmann, C. (1995). On the undecidability of implications between embedded multivalued database dependencies. Information and Computation, 122(2), 221\u2013235.","journal-title":"Information and Computation"},{"key":"277_CR10","doi-asserted-by":"crossref","unstructured":"Herrmann, C. (2006). Corrigendum to \u201cOn the undecidability of implications between embedded multivalued database dependencies\u201d [Information and Computation 122(1995) 221\u2013235]. Information and Computation, 204(12), 1847\u20131851.","DOI":"10.1016\/j.ic.2006.09.002"},{"issue":"1\/2","key":"277_CR11","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0004-3702(02)00244-8","volume":"141","author":"J Lang","year":"2002","unstructured":"Lang, J., Liberatore, P., & Marquis, P. (2002). Conditional independence in propositional logic. Artificial Intelligence, 141(1\/2), 79\u2013121.","journal-title":"Artificial Intelligence"},{"key":"277_CR12","doi-asserted-by":"crossref","unstructured":"Miner More, S., & Naumov, P. (2010a). Hypergraphs of multiparty secrets. In 11th international workshop on computational logic in multi-agent systems, CLIMA XI , LNAI 6245, Lisbon, Portugal (pp. 15\u201332). New York: Springer.","DOI":"10.1007\/978-3-642-14977-1_5"},{"issue":"1","key":"277_CR13","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/s11225-010-9223-0","volume":"94","author":"More S Miner","year":"2010","unstructured":"Miner, More S., & Naumov, P. (2010b). An independence relation for sets of secrets. Studia Logica, 94(1), 73\u201385.","journal-title":"Studia Logica"},{"issue":"12","key":"277_CR14","doi-asserted-by":"crossref","first-page":"959","DOI":"10.1016\/j.apal.2011.06.001","volume":"162","author":"SM More","year":"2011","unstructured":"More, S. M., & Naumov, P. (2011). Logic of secrets in collaboration networks. The Annals of Pure and Applied Logic, 162(12), 959\u2013969.","journal-title":"The Annals of Pure and Applied Logic"},{"key":"277_CR15","unstructured":"More, S. M., Naumov, P., & Sapp, B. (2011). Concurrency Semantics for the Geiger-Paz-Pearl Axioms of independence. In Bezem, M. (ed.) Proceedings of 20th annual conference on computer science logic, CSL 2011, September 12\u201315, Bergen, Norway. LIPIcs (Vol. 12, pp. 443\u2013457). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik."},{"issue":"2","key":"277_CR16","doi-asserted-by":"crossref","first-page":"286","DOI":"10.2307\/1969529","volume":"54","author":"J Nash","year":"1951","unstructured":"Nash, J. (1951). Non-cooperative games. The Annals of Mathematics, 54(2), 286\u2013295.","journal-title":"The Annals of Mathematics"},{"key":"277_CR17","unstructured":"Naumov, P., & Nicholls, B. (2011). Game semantics for the Geiger-Paz-Pearl axioms of independence. In The third international workshop on logic, rationality and interaction (LORI-III), LNAI 6953 (pp. 220\u2013232). Berlin: Springer."},{"key":"277_CR18","unstructured":"Naumov, P., & Nicholls, B. (2013) R.E. axiomatization of conditional independence. In proceedinigs of the 14th conference on theoretical aspects of rationality and knowledge (TARK \u201813) (pp. 148\u2013155)."},{"key":"277_CR19","unstructured":"Parker, Jr., D. S., & Parsaye-Ghomi, K. (1980). Inferences involving embedded multivalued dependencies and transitive dependencies. In Proceedings of the 1980 ACM SIGMOD international conference on management of data (pp. 52\u201357). New York, NY: ACM."},{"key":"277_CR20","unstructured":"Studen\u00fd, M. (1990). Conditional independence relations have no finite complete characterization. In Information theory, statistical decision functions and random processes. Transactions of the 11th Prague conference. (Vol. B, pp. 377\u2013396). London: Kluwer."},{"key":"277_CR21","unstructured":"Sutherland, D. (1986). A model of information. In Proceedings of ninth national computer security conference (pp. 175\u2013183)."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0277-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-013-0277-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-013-0277-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,13]],"date-time":"2022-02-13T02:23:21Z","timestamp":1644719001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-013-0277-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,5]]},"references-count":21,"journal-issue":{"issue":"S1","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["277"],"URL":"https:\/\/doi.org\/10.1007\/s11229-013-0277-1","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,5]]}}}