{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T20:07:30Z","timestamp":1699301250185},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,2,27]],"date-time":"2014-02-27T00:00:00Z","timestamp":1393459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1007\/s11225-014-9548-1","type":"journal-article","created":{"date-parts":[[2014,2,26]],"date-time":"2014-02-26T12:46:28Z","timestamp":1393418788000},"page":"339-360","source":"Crossref","is-referenced-by-count":2,"title":["A Modal Logic for Mixed Strategies"],"prefix":"10.1007","volume":"102","author":[{"given":"Joshua","family":"Sack","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"van der Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,27]]},"reference":[{"key":"9548_CR1","doi-asserted-by":"crossref","unstructured":"Aceto, L., W. van der Hoek, A. Ingolfsdottir, and J. Sack, Sigma algebras in probabilistic epistemic dynamics, in TARK XIII, 2011, pp. 191\u2013199.","DOI":"10.1145\/2000378.2000401"},{"issue":"5","key":"9548_CR2","doi-asserted-by":"crossref","first-page":"1161","DOI":"10.2307\/2171725","volume":"63","author":"R.J. Aumann","year":"1995","unstructured":"Aumann R.J., Brandenburger A.: Epistemic conditions for Nash equilibrium. Econometrica 63(5), 1161\u20131180 (1995)","journal-title":"Econometrica"},{"key":"9548_CR3","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1145\/174652.174658","volume":"41","author":"R. Fagin","year":"1994","unstructured":"Fagin R., Halpern J.: Reasoning about knowledge and probability. Journal of the ACM 41, 340\u2013367 (1994)","journal-title":"Journal of the ACM"},{"key":"9548_CR4","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin R., Halpern J.Y., Megiddo N., A logic for reasoning about probabilities. Information and Computation 87, 78\u2013128 (1990)","journal-title":"Information and Computation"},{"key":"9548_CR5","unstructured":"Kwiatkowska, M., G. Norman, and D. Parker, PRISM 4.0: Verification of probabilistic real-time systems, in G. Gopalakrishnan, and S. Qadeer, (eds.), Proc. CAV\u201911, vol. 6806 of LNCS, Springer, 2011, pp. 585\u2013591."},{"key":"9548_CR6","volume-title":"A Course in Game Theory","author":"M.J. Osborne","year":"1994","unstructured":"Osborne M. J., Rubinstein A. A Course in Game Theory. The MIT Press: Cambridge, MA, (1994)"},{"key":"9548_CR7","unstructured":"Renardel de Lavalette, G., B. Kooi, and R. Verbrugge, Strong completeness for PDL, in P. Balbiani, N. Suzuki, and F. Wolter, (eds.), AiML, 2002, pp. 377\u2013393."},{"key":"9548_CR8","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., and M. Pauly, Modal logic for games and information, in P. Blackburn, J. van Benthem, and F. Wolter, (eds.), Handbook of Modal Logic, Elsevier, Amsterdam, 2006, pp. 1077\u20131148.","DOI":"10.1016\/S1570-2464(07)80023-1"},{"key":"9548_CR9","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1613\/jair.2901","volume":"37","author":"W. Hoek van der","year":"2010","unstructured":"van der Hoek W., Walther D., Wooldridge M. Reasoning about the transfer of control. JAIR 37, 437\u2013477 (2010)","journal-title":"JAIR"},{"key":"9548_CR10","doi-asserted-by":"crossref","unstructured":"van der Hoek, W., and M. Wooldridge, Multi-agent systems, in F. van Harmelen, V. Lifschitz, and B. Porter, (eds.), Handbook of Knowledge Representation, Elsevier, 2008, pp. 887\u2013928.","DOI":"10.1016\/S1574-6526(07)03024-6"},{"key":"9548_CR11","doi-asserted-by":"crossref","unstructured":"Von Stengel, B., Computing equilibria for two-person games, in R.J. Aumann and S. Hart, (eds.), Handbook of Game Theory with Economic Applications, Elsevier, 2002, pp. 1723-1759.","DOI":"10.1016\/S1574-0005(02)03008-4"},{"key":"9548_CR12","unstructured":"Zhou, Ch., Complete deductive systems for probability logic with application to harsanyi type spaces, Ph.D. thesis, Indianapolis, IN, USA, 2007. AAI3278239."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9548-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-014-9548-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-014-9548-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T00:19:32Z","timestamp":1565223572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-014-9548-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,27]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2014,4]]}},"alternative-id":["9548"],"URL":"https:\/\/doi.org\/10.1007\/s11225-014-9548-1","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,27]]}}}