{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T19:03:32Z","timestamp":1772910212810,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540939191","type":"print"},{"value":"9783540939207","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-540-93920-7_4","type":"book-chapter","created":{"date-parts":[[2008,12,24]],"date-time":"2008-12-24T09:33:38Z","timestamp":1230111218000},"page":"47-59","source":"Crossref","is-referenced-by-count":22,"title":["A Complete STIT Logic for Knowledge and Action, and Some of Its Applications"],"prefix":"10.1007","author":[{"given":"Jan","family":"Broersen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. In: Proceedings of the 38th IEEE Symposium on Foundations of Computer Science, Florida (October 1997)","DOI":"10.1109\/SFCS.1997.646098"},{"issue":"5","key":"4_CR2","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R. Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. Journal of the ACM\u00a049(5), 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1093\/mind\/LXVII.265.100","volume":"67","author":"A.R. Anderson","year":"1958","unstructured":"Anderson, A.R.: A reduction of deontic logic to alethic modal logic. Mind\u00a067, 100\u2013103 (1958)","journal-title":"Mind"},{"key":"4_CR4","unstructured":"Balbiani, P., Gasquet, O., Herzig, A., Schwarzentruber, F., Troquard, N.: Coalition games over Kripke semantics: expressiveness and complexity. In: D\u00e8gremont, C., Keiff, L., R\u00fcckert, H. (eds.) Festschrift in Honour of Shahid Rahman, College Publications (to appear, 2008)"},{"issue":"1-2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01531259","volume":"9","author":"P. Bartha","year":"1993","unstructured":"Bartha, P.: Conditional obligation, deontic paradoxes, and the logic of agency. Annals of Mathematics and Artificial Intelligence\u00a09(1-2), 1\u201323 (1993)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"4_CR6","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":"4_CR7","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)"},{"key":"4_CR8","unstructured":"Broersen, J.M.: Modal Action Logics for Reasoning about Reactive Systems. PhD thesis, Faculteit der Exacte Wetenschappen, Vrije Universiteit Amsterdam, februari (2003)"},{"key":"4_CR9","unstructured":"Broersen, J.M.: Relativized action negation for dynamic logics. In: Balbiani, P., Suzuki, N.-Y., Wolter, F., Zakharyaschev, M. (eds.) Advances in Modal Logic, vol.\u00a04, pp. 51\u201370 (2003)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Broersen, J.M., Herzig, A., Troquard, N.: A normal simulation of coalition logic and an epistemic extension. In: Proceedings Theoretical Aspects Rationality and Knowledge (TARK XI), Brussels (2007)","DOI":"10.1145\/1324249.1324264"},{"key":"4_CR11","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"23","volume-title":"Proceedings LCMAS 2005","author":"J.M. Broersen","year":"2005","unstructured":"Broersen, J.M., Herzig, A., Troquard, N.: From coalition logic to STIT. In: Proceedings LCMAS 2005. Electronic Notes in Theoretical Computer Science, vol.\u00a0157, pp. 23\u201335. Elsevier, Amsterdam (2005)"},{"issue":"5","key":"4_CR12","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":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/11853886_8","volume-title":"Logics in Artificial Intelligence","author":"J. Broersen","year":"2006","unstructured":"Broersen, J., Herzig, A., Troquard, N.: A STIT-extension of ATL. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS, vol.\u00a04160, pp. 69\u201381. Springer, Heidelberg (2006)"},{"issue":"1","key":"4_CR14","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":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/3-540-16066-3_5","volume-title":"Computation Theory","author":"R. Danecki","year":"1985","unstructured":"Danecki, R.: Nondeterministic propositional dynamic logic with intersection is decidable. In: Skowron, A. (ed.) SCT 1984. LNCS, vol.\u00a0208, pp. 34\u201353. Springer, Heidelberg (1985)"},{"key":"4_CR16","first-page":"996","volume-title":"Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, ch.\u00a014, pp. 996\u20131072. Elsevier, Amsterdam (1990)"},{"key":"4_CR17","volume-title":"Many-Dimensional Modal Logics: Theory and Applications","author":"D.M. Gabbay","year":"2003","unstructured":"Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyachev, M.: Many-Dimensional Modal Logics: Theory and Applications. Elsevier, Amsterdam (2003)"},{"key":"4_CR18","series-title":"CWI Tract","volume-title":"Comparative Concurrency Semantics and Refinement of Actions","author":"R.J. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R.J.: Comparative Concurrency Semantics and Refinement of Actions, 2nd edn. CWI Tract, vol.\u00a0109. CWI, Amsterdam (1996)","edition":"2"},{"key":"4_CR19","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. The MIT Press, Cambridge (2000)"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1145\/1160633.1160666","volume-title":"5th International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS 2006)","author":"A. Herzig","year":"2006","unstructured":"Herzig, A., Troquard, N.: Knowing How to Play: Uniform Choices in Logics of Agency. In: Weiss, G., Stone, P. (eds.) 5th International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS 2006), Hakodate, Japan, pp. 209\u2013216. ACM Press, New York (2006)"},{"key":"4_CR21","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J.F. Horty","year":"2001","unstructured":"Horty, J.F.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"J.-J.C. Meyer","year":"1988","unstructured":"Meyer, J.-J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic\u00a029, 109\u2013136 (1988)","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"4_CR23","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"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0022-0000(87)90035-3","volume":"35","author":"D. Peleg","year":"1987","unstructured":"Peleg, D.: Communication in concurrent dynamic logic. Journal of Computer and System Sciences\u00a035, 23\u201358 (1987)","journal-title":"Journal of Computer and System Sciences"},{"key":"4_CR25","first-page":"109","volume-title":"Proceedings 17th IEEE Symposium on the Foundations of Computer Science","author":"V.R. Pratt","year":"1976","unstructured":"Pratt, V.R.: Semantical considerations on Floyd-Hoare logic. In: Proceedings 17th IEEE Symposium on the Foundations of Computer Science, pp. 109\u2013121. IEEE Computer Society Press, Los Alamitos (1976)"},{"key":"4_CR26","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1142\/9789812799746_0010","volume-title":"Essays on Non-classical Logic","author":"H. Wansing","year":"2001","unstructured":"Wansing, H.: Obligations, authorities, and history dependence. In: Wansing, H. (ed.) Essays on Non-classical Logic, pp. 247\u2013258. World Scientific, Singapore (2001)"},{"key":"4_CR27","unstructured":"Wansing, H.: On the negation of action types: Constructive concurrent PDL. In: Valdes-Villanueva, L., H\u00e1jek, P., Westerstahl, D. (eds.) Proceedings of the Twelfth International Congress of Logic Methodology and Philosophy of Science (LMPS 2003), pp. 207\u2013225. King\u2019s College Publications (2005) (invited lecture)"}],"container-title":["Lecture Notes in Computer Science","Declarative Agent Languages and Technologies VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-93920-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T13:19:33Z","timestamp":1709817573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-93920-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540939191","9783540939207"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-93920-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}