{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T08:38:44Z","timestamp":1774946324989,"version":"3.50.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,5,28]],"date-time":"2009-05-28T00:00:00Z","timestamp":1243468800000},"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":[[2009,6]]},"DOI":"10.1007\/s11225-009-9184-3","type":"journal-article","created":{"date-parts":[[2009,5,27]],"date-time":"2009-05-27T13:52:27Z","timestamp":1243432347000},"page":"1-26","source":"Crossref","is-referenced-by-count":4,"title":["Multi-Modal CTL: Completeness, Complexity, and an Application"],"prefix":"10.1007","volume":"92","author":[{"given":"Thomas","family":"\u00c5gotnes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiebe","family":"Van der Hoek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan A.","family":"Rodr\u00edguez-Aguilar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carles","family":"Sierra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Wooldridge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,5,28]]},"reference":[{"key":"9184_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., W. van der Hoek, J.A. Rodriguez-Aguilar, C. Sierra, and M. Wooldridge, On the logic of normative systems, IJCAI 2007, pp. 1175\u20131180.","DOI":"10.1145\/1329125.1329284"},{"key":"9184_CR2","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., W. van der Hoek, and M. Wooldridge, \u2018Completeness and Complexity of Multi-Modal CTL\u2019, in C. Areces and S. Demri (eds.), Proceedings of the 5th Workshop on Methods for Modalities (M4M5), (ENTCS), vol. 231, 2009, pp. 259\u2013275.","DOI":"10.1016\/j.entcs.2009.02.040"},{"key":"9184_CR3","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., W. van der Hoek, J.A. Rod\u00edguez-Aguilar, C. Sierra, and M. Wooldridge, \u2018A Temporal Logic of Normative Systems\u2019, in D. Makinson, J. Malinowski and H. Wansing (eds.), Towards Mathematical Philosophy, Springer, 2008, pp. 69\u2013106.","DOI":"10.1007\/978-1-4020-9084-4_5"},{"key":"9184_CR4","doi-asserted-by":"crossref","unstructured":"Artikis, A., M.J. Sergot, and J.V. Pitt, \u2018Specifying norm-governed computational societies\u2019, ACM Trans. Comput. Log., 10:1, 2009.","DOI":"10.1145\/1459010.1459011"},{"key":"9184_CR5","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke and Y. Venema, \u201cModal Logic,\u201d Cambridge Tracts in Theoretical Computer Science 53, CUP, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"9184_CR6","unstructured":"Clarke, E. M., O. Grumberg and D. A. Peled, \u201cModel Checking,\u201d MIT Press, 2000."},{"key":"9184_CR7","unstructured":"Dignum, F., J. Broersen, V. Dignum, and J.-J.Ch. Meyer, \u2018Meeting the deadline: Why, when and how\u2019, vol. 3228 of LNAI, Springer, 2004, pp. 30\u201340."},{"key":"9184_CR8","doi-asserted-by":"crossref","unstructured":"Emerson, E. A., \u2018Temporal and modal logic\u2019, in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Elsevier, 1990, pp. 996\u20131072.","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"9184_CR9","doi-asserted-by":"crossref","unstructured":"Emerson, E. A., and J. Y. Halpern, \u2018Decision procedures and expressiveness in the temporal logic of branching time\u2019, Journal of Computer and System Sciences 30, 1985.","DOI":"10.1016\/0022-0000(85)90001-7"},{"key":"9184_CR10","unstructured":"Fajardo, R., and M. Finger, How not to combine modal logics, in B. Prasad (ed.), IICAI, 2005, pp. 1629\u20131647."},{"key":"9184_CR11","doi-asserted-by":"crossref","unstructured":"Fine, K., and G. Schurz, \u2018Transfer theorems for multimodal logics\u2019, in J. Copeland (ed.), Logic and Reality: Essays on the Legacy of Arthur Prior, OUP, Oxford, 1996, pp. 169\u2013213.","DOI":"10.1093\/oso\/9780198240600.003.0009"},{"key":"9184_CR12","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger M., Gabbay D.M.: \u2018Adding a temporal dimension to a logic system\u2019. Journal of Logic, Language, and Information 1, 203\u2013233 (1992)","journal-title":"Journal of Logic, Language, and Information"},{"key":"9184_CR13","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1093\/jigpal\/10.2.165","volume":"10","author":"M. Finger","year":"2002","unstructured":"Finger M., Weiss M.A.: \u2018The unrestricted combination of temporal logic systems\u2019. Logic Journal of the IGPL 10, 165\u2013189 (2002)","journal-title":"Logic Journal of the IGPL"},{"key":"9184_CR14","unstructured":"Gabbay, D. M., A. Kurucz, F. Wolter and M. Zakharyaschev, Many-Dimensional Modal Logics: Theory and Applications, Elsevier, 2003."},{"key":"9184_CR15","doi-asserted-by":"crossref","unstructured":"Gottlob, G, and C. Koch, Monadic queries over tree-structured data, in LICS2002, pp. 189\u2013202.","DOI":"10.1109\/LICS.2002.1029828"},{"key":"9184_CR16","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. MIT Press, Cambridge, MA (2000)"},{"key":"9184_CR17","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1023\/A:1004900300438","volume":"59","author":"M. Kracht","year":"1997","unstructured":"Kracht M., Wolter F.: \u2018Simulation and transfer results in modal logic \u2014 a survey\u2019. Studia Logica 59, 149\u2013177 (1997)","journal-title":"Studia Logica"},{"issue":"1","key":"9184_CR18","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1023\/A:1026176900459","volume":"75","author":"A. Lomuscio","year":"2003","unstructured":"Lomuscio A., Sergot M.: \u2018Deontic interpreted systems\u2019. Studia Logica 75(1), 63\u201392 (2003)","journal-title":"Studia Logica"},{"issue":"1","key":"9184_CR19","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H. Prakken","year":"1996","unstructured":"Prakken H., Sergot M.: \u2018Contrary-to-duty obligations\u2019. Studia Logica 57(1), 91\u2013115 (1996)","journal-title":"Studia Logica"},{"key":"9184_CR20","doi-asserted-by":"crossref","unstructured":"Sergot, M., and R. Craven, \u2018The deontic component of action language nC+\u2019, in L. Goble and J.-J. Ch. Meyer (eds.), DEON2006, LNAI 4048, 2006, pp. 222\u2013237.","DOI":"10.1007\/11786849_19"},{"key":"9184_CR21","doi-asserted-by":"crossref","unstructured":"Shoham, Y., and M. Tennenholtz, \u2018On social laws for artificial agent societies: Off-line design\u2019, in P. E. Agre, and S. J. Rosenschein (eds.), Computational Theories of Interaction and Agency, MIT Press, 1996, pp. 597\u2013618.","DOI":"10.7551\/mitpress\/2026.003.0017"},{"issue":"1","key":"9184_CR22","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11229-006-9072-6","volume":"156","author":"W. Hoek Van der","year":"2007","unstructured":"Van der Hoek W., Roberts M., Wooldridge M.: \u2018Social Laws in Alternating Time: Effectiveness, Feasibility, and Synthesis\u2019. Synthese 156(1), 1\u201319 (2007)","journal-title":"Synthese"},{"key":"9184_CR23","unstructured":"XML Path Language, W3C Recommendation. http:\/\/www.w3.org\/TR\/xpath ."},{"key":"9184_CR24","unstructured":"Wieringa, R.J., and J.-J. Ch. Meyer, \u2018Deontic logic in computer science\u2019, J.-J. Ch. Meyer, and R. J. Wieringa (eds.), Deontic Logic in Computer Science \u2014 Normative System Specification, John Wiley & Sons, 1993, pp. 17\u201340."},{"key":"9184_CR25","unstructured":"Wooldridge, M., An Introduction to Multiagent Systems, John Wiley & Sons, 2002."},{"issue":"3-4","key":"9184_CR26","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1016\/j.jal.2005.04.006","volume":"4","author":"M. Wooldridge","year":"2005","unstructured":"Wooldridge M., van der Hoek W.: \u2018On obligations and normative ability: Towards a logical analysis of the social contract\u2019. Journal of Applied Logic 4(3-4), 396\u2013420 (2005)","journal-title":"Journal of Applied Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9184-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-009-9184-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-009-9184-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T18:32:45Z","timestamp":1739125965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-009-9184-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5,28]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["9184"],"URL":"https:\/\/doi.org\/10.1007\/s11225-009-9184-3","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,5,28]]}}}