{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T19:01:54Z","timestamp":1772910114921,"version":"3.50.1"},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"value":"354058241X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013997","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:34:32Z","timestamp":1132731272000},"page":"332-348","source":"Crossref","is-referenced-by-count":13,"title":["Decidability of deliberative stit theories with multiple agents"],"prefix":"10.1007","author":[{"given":"Ming","family":"Xu","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01531259","volume":"9","author":"P. Bartha","year":"1993","unstructured":"Bartha, P.: 1993, \u201cConditional obligation, deontic paradoxes, and the logic of agency\u201d. Annals of Mathematics and Artificial Intelligence9, 1\u201323.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"21_CR2","unstructured":"Belnap, N. and Bartha, P.: 1993, \u201cMarcus and the problem of nested deontic modalities\u201d. Forthcoming in Modality, Morality, and Belief, Walter Sinnott-Armstrong, Diana Raffman, Nicholas Asher (eds.), Cambridge University Press."},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"777","DOI":"10.2307\/2108182","volume":"51","author":"N. Belnap","year":"1991","unstructured":"Belnap, N.: 1991, \u201cBackwards and forwards in the modal logic of agency\u201d. Philosophy and phenomenological research51, 777\u2013807.","journal-title":"Philosophy and phenomenological research"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/BF00385718","volume":"34","author":"N. Belnap","year":"1991","unstructured":"Belnap, N.: 1991a, \u201cBefore refraining: concepts for agency\u201d. Erkenntnis34, 137\u2013169.","journal-title":"Erkenntnis"},{"key":"21_CR5","unstructured":"Belnap, N.: 1991b, \u201cAgents in branching time\u201d. Forthcoming in Logic and Reality: Essays in Pure and Applied Logic, In Memory of Arthur Prior, Oxford University Press."},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","volume":"54","author":"N. Belnap","year":"1988","unstructured":"Belnap, N. and Perloff, M.: 1988, \u201cSeeing to it that: a canonical form for agentives\u201d. Theoria54, 175\u2013199. Belnap noted that the informal semantic account of stit is garbled in this paper; the account is correct in the version of this paper republished in Knowledge representation and defeasible reasoning, H. E. Kyburg, Jr., R. P. Loui, and G. N. Carlson (eds.), Dordrecht\/Boston\/London, 1990, 167\u2013190; and it is correct in the version in other papers.","journal-title":"Theoria"},{"key":"21_CR7","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/BF01028971","volume":"51","author":"N. Belnap","year":"1992","unstructured":"Belnap, N. and Perloff, M.: 1992, \u201cThe way of the agent\u201d. Studia Logica51, 463\u2013484.","journal-title":"Studia Logica"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/BF01531260","volume":"9","author":"N. Belnap","year":"1993","unstructured":"Belnap, N. and Perloff, M.: 1993, \u201cIn the realm of agents\u201d. Annals of Mathematics and Artificial Intelligence9, 25\u201348.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"21_CR9","volume-title":"The Logical Form of Imperatives","author":"B. F. Chellas","year":"1969","unstructured":"Chellas, B. F.: 1969, The Logical Form of Imperatives, Perry Lane Press, Stanford."},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/BF01028972","volume":"51","author":"B. F. Chellas","year":"1992","unstructured":"Chellas, B. F.: 1992, \u201cTime and modality in the logic of agency\u201d. Studia Logica51, 485\u2013517.","journal-title":"Studia Logica"},{"key":"21_CR11","doi-asserted-by":"crossref","first-page":"668","DOI":"10.2307\/2274321","volume":"50","author":"Y. Gurevich","year":"1985","unstructured":"Gurevich, Y. and Shelah, S.: 1985, \u201cThe decision problem for branching time logic\u201d. The Journal of Symbolic Logic50, 668\u2013681.","journal-title":"The Journal of Symbolic Logic"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Gurevich, Y. and Shelah, S.: 1985a, \u201cTo the decision problem for branching time logic\u201d. Foundations of logic and linguistics: Problems and their solutions, Plenum Press, 1985, 181\u2013198.","DOI":"10.1007\/978-1-4899-0548-2_8"},{"key":"21_CR13","unstructured":"Horty, J. F.: 1989, \u201cAn alternative stit operator\u201d. Unpublished manuscript, Philosophy Department, University of Maryland."},{"key":"21_CR14","unstructured":"Horty, J. F. and Belnap, N.: 1993, \u201cThe deliberative stit: a study of action, omission, ability, and obligation.\u201d Forthcoming in Journal of Philosophical Logic."},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/BF00485267","volume":"86","author":"M. Perloff","year":"1991","unstructured":"Perloff, M.: 1991, \u201cStit and the language of agency\u201d. Synthese86, 379\u2013408.","journal-title":"Synthese"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Prior, A.: 1967, Past, Present and Future. Oxford University Press.","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"21_CR17","first-page":"437","volume":"51","author":"K. Segerberg","year":"1992","unstructured":"Segerberg, K.: 1992, \u201cGetting started: Beginnings in the logic of action\u201d. Studia Logica51, 437\u2013378.","journal-title":"Studia Logica"},{"key":"21_CR18","doi-asserted-by":"crossref","first-page":"264","DOI":"10.1111\/j.1755-2567.1970.tb00427.x","volume":"36","author":"R. H. Thomason","year":"1970","unstructured":"Thomason, R. H.: 1970, \u201cIndeterminist time and truth-value gaps\u201d. Theoria36, 264\u2013281.","journal-title":"Theoria"},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Thomason, R. H.: 1981, \u201cDeontic logic as founded on tense logic\u201d. In New Studies in Deontic Logic, R. Hilpinen (ed.), D. Reidel Publishing Company, 1981, 165\u2013176.","DOI":"10.1007\/978-94-009-8484-4_7"},{"key":"21_CR20","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/BF00205016","volume":"24","author":"F. Kutschera von","year":"1986","unstructured":"von Kutschera, F.: 1986, \u201cBewirden\u201d. Erdenntnis24, 253\u2013281.","journal-title":"Erdenntnis"},{"key":"21_CR21","unstructured":"von Wright, G. H.: 1963, Norm and Action: A Logical Enquiry. Routledge and Kegan Paul."},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Xu, M.: 1993, \u201cDoing and refraining from refraining\u201d. Forthcoming in Journal of Philosophical logic.","DOI":"10.1007\/BF01052780"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Xu, M.: 1993a, \u201cDecidability of stit theory with a single agent and refref equivalence\u201d. Forthcoming in Studia Logica.","DOI":"10.1007\/BF01054713"},{"key":"21_CR24","unstructured":"Xu, M.: 1994, \u201cOn the basic logic of stit with a single agent\u201d. Unpublished manuscript, Department of Philosophy, University of Pittsburgh."}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013997","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T15:42:00Z","timestamp":1683301320000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013997"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058241X"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0013997","relation":{},"subject":[]}}