{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T19:02:10Z","timestamp":1772910130488,"version":"3.50.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,9,27]],"date-time":"2012-09-27T00:00:00Z","timestamp":1348704000000},"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":[[2012,10]]},"DOI":"10.1007\/s11225-012-9445-4","type":"journal-article","created":{"date-parts":[[2012,9,26]],"date-time":"2012-09-26T16:38:41Z","timestamp":1348677521000},"page":"1001-1045","source":"Crossref","is-referenced-by-count":13,"title":["Complexity Results of STIT Fragments"],"prefix":"10.1007","volume":"100","author":[{"given":"Fran\u00e7ois","family":"Schwarzentruber","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,9,27]]},"reference":[{"key":"9445_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., T. A. Henzinger, and O. Kupferman, 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":"4","key":"9445_CR2","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/s10992-007-9078-7","volume":"37","author":"P. Balbiani","year":"2008","unstructured":"Balbiani P., Herzig A., Troquard N.: Alternative axiomatics and complexity of deliberative STIT theories. Journal of Philosophical Logic 37(4), 387\u2013406 (2008)","journal-title":"Journal of Philosophical Logic"},{"key":"9445_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the Future: Agents and Choices in Our Indeterminist World","author":"N. Belnap","year":"2001","unstructured":"Belnap N., Perloff M., Xu M.: Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press, Oxford (2001)"},{"key":"9445_CR4","volume-title":"Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Scie","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y.: Modal Logic, volume 53 of Cambridge Tracts in Theoretical Computer Scie. Cambridge University Press, Cambridge (2001)"},{"key":"9445_CR5","unstructured":"Broersen, J., Deontic Epistemic stit Logic Distinguishing Modes of \u2018Mens Rea\u2019 (forthcoming), Journal of Applied Logic."},{"key":"9445_CR6","doi-asserted-by":"crossref","unstructured":"Broersen, J., A logical analysis of the interaction between \u2018obligation-to-do\u2019 and \u2018knowingly doing\u2019, Deontic Logic in Computer Science, 2008, pp. 140\u2013154.","DOI":"10.1007\/978-3-540-70525-3_12"},{"key":"9445_CR7","doi-asserted-by":"crossref","unstructured":"Broersen, J., A complete stit logic for knowledge and action, and some of its applications. Declarative Agent Languages and Technologies VI, 2009, pp. 47\u201359.","DOI":"10.1007\/978-3-540-93920-7_4"},{"issue":"5","key":"9445_CR8","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1093\/logcom\/exl025","volume":"16","author":"J. Broersen","year":"2006","unstructured":"Broersen J., Herzig A., Troquard N.: Embedding Alternating-time Temporal Logic in strategic STIT logic of agency.. Journal of Logic and Computation 16(5), 559\u2013578 (2006)","journal-title":"Journal of Logic and Computation"},{"issue":"3\/4","key":"9445_CR9","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1007\/BF01028972","volume":"51","author":"Chellas","year":"1992","unstructured":"Chellas , Brian F.: Time and modality in the logic of agency. Studia Logica 51(3\/4), 485\u2013518 (1992)","journal-title":"Studia Logica"},{"issue":"1","key":"9445_CR10","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10849-009-9105-x","volume":"19","author":"A. Herzig","year":"2010","unstructured":"Herzig A., Lorini E.: A Dynamic Logic of Agency I: STIT, Capabilities and Powers. Journal of Logic, Language and Information 19(1), 89\u2013121 (2010)","journal-title":"Journal of Logic, Language and Information"},{"key":"9445_CR11","unstructured":"Herzig, A., and F. Schwarzentruber, Properties of logics of individual and group agency. In Advances in Modal Logic, 2008, pp. 133\u2013149."},{"issue":"6","key":"9445_CR12","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1007\/BF01306968","volume":"24","author":"J. Horty","year":"1995","unstructured":"Horty J., Belnap N.: The deliberative stit: a study of action, omission, ability and obligation. Journal of Philosophical Logic 24(6), 583\u2013644 (1995)","journal-title":"Journal of Philosophical Logic"},{"key":"9445_CR13","doi-asserted-by":"crossref","unstructured":"Horty, John F., Agency and Deontic Logic, Oxford University Press, 2001.","DOI":"10.1093\/0195134613.001.0001"},{"issue":"4","key":"9445_CR14","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3166\/jancl.17.423-475","volume":"17","author":"W. Jamroga","year":"2007","unstructured":"Jamroga W., \u00c5gotnes T.: Constructive knowledge: What agents can achieve under incomplete information.. Journal of Applied Non-Classical Logics 17(4), 423\u2013475 (2007)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"3","key":"9445_CR15","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1137\/0206033","volume":"6","author":"R.E. Ladner","year":"1977","unstructured":"Ladner R.E.: The computational complexity of provability in systems of modal propositional logic. SIAM J. on Computing 6(3), 467\u2013480 (1977)","journal-title":"SIAM J. on Computing"},{"key":"9445_CR16","doi-asserted-by":"crossref","unstructured":"Lorini, E., A logical analysis of commitment dynamics. Deontic Logic in Computer Science, 2010, pp. 288\u2013305.","DOI":"10.1007\/978-3-642-14183-6_21"},{"key":"9445_CR17","unstructured":"Lorini, E., and F. Schwarzentruber, A logic for reasoning about counterfactual emotions, In IJCAI, 2009, pp. 867\u2013872."},{"issue":"3-4","key":"9445_CR18","doi-asserted-by":"crossref","first-page":"814","DOI":"10.1016\/j.artint.2010.11.022","volume":"175","author":"E. Lorini","year":"2011","unstructured":"Lorini E., Schwarzentruber F.: A logic for reasoning about counterfactual emotions. Artif. Intell 175(3-4), 814\u2013847 (2011)","journal-title":"Artif. Intell"},{"key":"9445_CR19","unstructured":"Papadimitriou, C. H., Computational complexity, John Wiley and Sons Ltd., 2003."},{"issue":"1","key":"9445_CR20","doi-asserted-by":"crossref","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 12(1), 149\u2013166 (2002)","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"9445_CR21","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/j.ic.2005.03.005","volume":"201","author":"M. Reynolds","year":"2005","unstructured":"Reynolds M.: An axiomatization of PCTL. Inf. Comput. 201(1), 72\u2013119 (2005)","journal-title":"Inf. Comput."},{"issue":"2","key":"9445_CR22","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/S1571-0661(05)82604-0","volume":"85","author":"P.Y. Schobbens","year":"2004","unstructured":"Schobbens P.Y.: Alternating-time logic with imperfect recall. Electronic Notes in Theoretical Computer Science 85(2), 82\u201393 (2004)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9445_CR23","doi-asserted-by":"crossref","unstructured":"Vakarelov, D., A modal theory of arrows. Arrow logics I, Logics in AI, 1992, pp. 1\u201324.","DOI":"10.1007\/BFb0023418"},{"key":"9445_CR24","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1093\/logcom\/exl009","volume":"16","author":"D. Walther","year":"2006","unstructured":"Walther D., Lutz C., Wolter F., Wookdridge M.: ATL satisfiability is indeed exptime-complete. Journal of Logic and Computation 16, 765\u2013787 (2006)","journal-title":"Journal of Logic and Computation"},{"key":"9445_CR25","unstructured":"Wansing, H., Tableaux for multi-agent deliberative-STIT logic, In Guido Governatori, Ian Hodkinson, and Yde Venema, (eds.), Advances in Modal Logic, Volume 6. King\u2019s College Publications, 2006, pp. 503\u2013520."},{"key":"9445_CR26","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1023\/A:1020163602542","volume":"31","author":"S. W\u00f6lfl","year":"2002","unstructured":"W\u00f6lfl S.: Propositional Q-logic. Journal of Philosophical Logic 31, 387\u2013414 (2002)","journal-title":"Journal of Philosophical Logic"},{"key":"9445_CR27","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1023\/A:1004274131669","volume":"27","author":"M. Xu","year":"1998","unstructured":"Xu M.: Axioms for deliberative STIT. Journal of Philosophical Logic 27, 505\u2013552 (1998)","journal-title":"Journal of Philosophical Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9445-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-012-9445-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-012-9445-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T20:50:26Z","timestamp":1714423826000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-012-9445-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,27]]},"references-count":27,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["9445"],"URL":"https:\/\/doi.org\/10.1007\/s11225-012-9445-4","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9,27]]}}}