{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:58:07Z","timestamp":1762459087562},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2013,7,27]],"date-time":"2013-07-27T00:00:00Z","timestamp":1374883200000},"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,6]]},"DOI":"10.1007\/s11225-013-9492-5","type":"journal-article","created":{"date-parts":[[2013,7,26]],"date-time":"2013-07-26T12:03:41Z","timestamp":1374840221000},"page":"577-607","source":"Crossref","is-referenced-by-count":6,"title":["Decidability of an Xstit Logic"],"prefix":"10.1007","volume":"102","author":[{"given":"Gillman","family":"Payette","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,7,27]]},"reference":[{"issue":"3\/4","key":"9492_CR1","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/BF01028971","volume":"51","author":"N. Belnap","year":"1992","unstructured":"Belnap N., Perloff M.: The way of the agent. Studia Logica 51(3\/4), 463\u2013484 (1992)","journal-title":"Studia Logica"},{"key":"9492_CR2","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":"9492_CR3","volume-title":"Modal Logic, No. 53, in Cambridge Tracks in Theoretical Computer Science","author":"P. Blackburn","year":"2001","unstructured":"Blackburn P., de Rijke M., Venema Y.: Modal Logic, No. 53, in Cambridge Tracks in Theoretical Computer Science. Cambridge University Press, Cambridge, UK (2001)"},{"key":"9492_CR4","unstructured":"Broersen, J., A complete stit logic for knowledge and action, and some of its applications, in M. Baldoni, T. Son, M. B. van Riemsdijk, and M. Winikoff (eds.), DALT, Lecture Notes in Computer Science, Vol. 5397, Springer, Berlin, 2008, pp. 47\u201359."},{"issue":"2","key":"9492_CR5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.jal.2010.06.002","volume":"9","author":"J. Broersen","year":"2011","unstructured":"Broersen J.: Deontic epistemic stit logic distinguishing modes of mens rea. Journal of Applied Logic 9(2), 127\u2013152 (2011)","journal-title":"Journal of Applied Logic"},{"issue":"4","key":"9492_CR6","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/s10992-011-9190-6","volume":"40","author":"J. Broersen","year":"2011","unstructured":"Broersen J.: Making a start with the stit logic analysis of intentional action. Journal of Philosophical Logic 40(4), 399\u2013420 (2011)","journal-title":"Journal of Philosophical Logic"},{"key":"9492_CR7","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1016\/j.ijar.2012.08.007","volume":"54","author":"J. Broersen","year":"2013","unstructured":"Broersen J.: Probabilistic stit logic and its decomposition. International Journal of Approximate Reasoning 54, 467\u2013477 (2013)","journal-title":"International Journal of Approximate Reasoning"},{"key":"9492_CR8","doi-asserted-by":"crossref","unstructured":"Broersen, J., and J.-J. C. Meyer, Action, Failure and Free Will Choice in Stit Logic, Springer, New York, 2013. Forthcoming.","DOI":"10.1007\/978-3-319-02943-6_9"},{"issue":"1","key":"9492_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","volume":"30","author":"E.A. Emerson","year":"1985","unstructured":"Emerson E.A., Halpern J.Y.: Decision procedures and expressiveness in the temporal logic of branching time. Journal of Computer and System Science 30(1), 1\u201324 (1985)","journal-title":"Journal of Computer and System Science"},{"issue":"2","key":"9492_CR10","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1305\/ndjfl\/1093891703","volume":"26","author":"K. Fine","year":"1975","unstructured":"Fine K.: Normal forms in modal logic. Notre Dame Journal of Formal Logic 26(2), 229\u2013237 (1975)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9492_CR11","unstructured":"Gabbay, D. M., A. Kurucz, F. Wolter, and M. Zakharyaschev, Many-Dimentional Modal Logics: Theory and Applications, Vol. 148, Studies in Logic and The Foundations of Mathematics, Elseiver, North Holland, 2003."},{"key":"9492_CR12","first-page":"133","volume":"7","author":"A. Herzig","year":"2008","unstructured":"Herzig A., Schwarzentruber F.: Properties of logics of individual and group agency. Advances in Modal Logic 7, 133\u2013149 (2008)","journal-title":"Advances in Modal Logic"},{"key":"9492_CR13","doi-asserted-by":"crossref","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J. Horty","year":"2001","unstructured":"Horty J.: Agency and Deontic Logic. Oxford University Press, Oxford, UK (2001)"},{"issue":"5","key":"9492_CR14","doi-asserted-by":"crossref","first-page":"1001","DOI":"10.1007\/s11225-012-9445-4","volume":"100","author":"F. Schwarzentruber","year":"2012","unstructured":"Schwarzentruber F.: Complexity results of stit fragments. Studia Logica 100(5), 1001\u20131045 (2012)","journal-title":"Studia Logica"},{"key":"9492_CR15","doi-asserted-by":"crossref","unstructured":"Wolter, F., and M. Zakharyaschev, Modal decision problems, in P. Blackburn, J. van Benthem, and F. Wolter (eds.), Handbook of Modal Logic, Vol. 3, Studies in Logic and Practical Reasoning, Chap. 7, Elsevier B.V., Amsterdam, The Netherlands, 2007, pp. 427\u2013489.","DOI":"10.1016\/S1570-2464(07)80010-3"},{"key":"9492_CR16","doi-asserted-by":"crossref","first-page":"950","DOI":"10.2307\/2275581","volume":"62","author":"M. Zakharyaschev","year":"1997","unstructured":"Zakharyaschev M.: Canonical formulas for k4. Part III: The finite model property. Journal of Symbolic Logic 62, 950\u2013975 (1997)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9492-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-013-9492-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-013-9492-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,15]],"date-time":"2024-05-15T11:50:06Z","timestamp":1715773806000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-013-9492-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,27]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9492"],"URL":"https:\/\/doi.org\/10.1007\/s11225-013-9492-5","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,27]]}}}