{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:35:18Z","timestamp":1762032918362},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642168666"},{"type":"electronic","value":"9783642168673"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16867-3_2","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T09:22:02Z","timestamp":1288689722000},"page":"22-45","source":"Crossref","is-referenced-by-count":14,"title":["Expressing Properties of Resource-Bounded Systems: The Logics RTL * and RTL"],"prefix":"10.1007","author":[{"given":"Nils","family":"Bulling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Berndt","family":"Farwer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"2_CR1","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/s10849-008-9075-4","volume":"18","author":"T. \u00c5gotnes","year":"2009","unstructured":"\u00c5gotnes, T., Walther, D.: A logic of strategic ability under bounded memory. J. of Logic, Lang. and Inf.\u00a018(1), 55\u201377 (2009)","journal-title":"J. of Logic, Lang. and Inf."},{"key":"2_CR2","unstructured":"Alechina, N., Logan, B., Nga, N.H., Rakib, A.: Verifying time, memory and communication bounds in systems of reasoning agents. In: AAMAS 2008: Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 736\u2013743 (2008)"},{"key":"2_CR3","unstructured":"Alechina, N., Logan, B., Nga, N.H., Rakib, A.: Resource-bounded alternating-time temporal logic. In: van der Hoek, W., Kaminka, G., Lesp\u00e9rance, Y., Luck, M., Sen, S. (eds.) Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), Toronto, Canada, IFAAMAS (to appear, May 2010)"},{"key":"2_CR4","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, 672\u2013713 (2002)","journal-title":"Journal of the ACM"},{"key":"2_CR5","unstructured":"Bulling, N., Farwer, B.: On the (Un-)Decidability of Model-Checking Resource-Bounded Agents. In: Coelho, H., Wooldridge, M. (eds.) Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), Porto, Portugal, August 16-20 (to appear, 2010)"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Logics of Programs","author":"E.M. Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1982)"},{"issue":"2","key":"2_CR7","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Halpern, J.Y.: Sometimes and not never revisited: On branching versus linear time temporal logic. In: Proceedings of the Annual ACM Symposium on Principles of Programming Languages, pp. 151\u2013178 (1982)","DOI":"10.1145\/4904.4999"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"2_CR10","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0304-3975(90)90006-4","volume":"74","author":"P. Jan\u010dar","year":"1990","unstructured":"Jan\u010dar, P.: Decidability of a temporal logic problem for petri nets. Theor. Comput. Sci.\u00a074(1), 71\u201393 (1990)","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"2_CR11","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0022-0000(69)80011-5","volume":"3","author":"R.M. Karp","year":"1969","unstructured":"Karp, R.M., Miller, R.E.: Parallel program schemata. Journal of Computer and System Sciences\u00a03(2), 147\u2013195 (1969)","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR12","unstructured":"Shaw, P., Farwer, B., Bordini, R.: Theoretical and experimental results on the goal-plan tree problem (short paper). In: Proceedings of AAMAS 2008, pp. 1379\u20131382 (2008)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16867-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T20:57:13Z","timestamp":1559768233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16867-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642168666","9783642168673"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16867-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}