{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:12:12Z","timestamp":1742926332189,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642221514"},{"type":"electronic","value":"9783642221521"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22152-1_44","type":"book-chapter","created":{"date-parts":[[2011,6,25]],"date-time":"2011-06-25T23:22:00Z","timestamp":1309044120000},"page":"521-531","source":"Crossref","is-referenced-by-count":3,"title":["Probabilistic Stit Logic"],"prefix":"10.1007","author":[{"given":"Jan M.","family":"Broersen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"44_CR1","doi-asserted-by":"crossref","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Alternative axiomatics and complexity of deliberative stit theories. Journal of Philosophical Logic (2007)","DOI":"10.1007\/s10992-007-9078-7"},{"key":"44_CR2","doi-asserted-by":"crossref","unstructured":"Belnap, N., Perloff, M., Xu, M.: Facing the future: agents and choices in our indeterminist world. Oxford (2001)","DOI":"10.1093\/oso\/9780195138788.001.0001"},{"key":"44_CR3","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press, Cambridge (2001)"},{"issue":"5","key":"44_CR4","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1093\/logcom\/exl025","volume":"16","author":"J.M. Broersen","year":"2006","unstructured":"Broersen, J.M., Herzig, A., Troquard, N.: Embedding Alternating-time Temporal Logic in strategic STIT logic of agency. Journal of Logic and Computation\u00a016(5), 559\u2013578 (2006)","journal-title":"Journal of Logic and Computation"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Broersen, J.M., Herzig, A., Troquard, N.: A normal simulation of coalition logic and an epistemic extension. In: Samet, D. (ed.) Proceedings Theoretical Aspects Rationality and Knowledge (TARK XI), Brussels, pp. 92\u2013101. ACM Digital Library (2007)","DOI":"10.1145\/1324249.1324264"},{"issue":"1","key":"44_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-2(1:5)2006","volume":"2","author":"W. Conradie","year":"2006","unstructured":"Conradie, W., Goranko, V., Vakarelov, D.: Algorithmic correspondence and completeness in modal logic I: The core algorithm SQEMA. Logical Methods in Computer Science\u00a02(1), 1\u201326 (2006)","journal-title":"Logical Methods in Computer Science"},{"key":"44_CR7","series-title":"Formal Models and Semantics","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B, ch. 14, pp. 996\u20131072. Elsevier Science, Amsterdam (1990)"},{"key":"#cr-split#-44_CR8.1","unstructured":"Jamroga, W.: A temporal logic for markov chains. In: AAMAS 2008: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, Richland, SC, pp. 697???704 (2008);"},{"key":"#cr-split#-44_CR8.2","unstructured":"International Foundation for Autonomous Agents and Multiagent Systems"},{"key":"44_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/11786849_15","volume-title":"Deontic Logic and Artificial Normative Systems","author":"B.P. Kooi","year":"2006","unstructured":"Kooi, B.P., Tamminga, A.M.: Conflicting obligations in multi-agent deontic logic. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol.\u00a04048, pp. 175\u2013186. Springer, Heidelberg (2006)"},{"issue":"1","key":"44_CR10","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M. Pauly","year":"2002","unstructured":"Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation\u00a012(1), 149\u2013166 (2002)","journal-title":"Journal of Logic and Computation"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning with Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22152-1_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T03:45:10Z","timestamp":1712547910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22152-1_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642221514","9783642221521"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22152-1_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}