{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:14Z","timestamp":1760202674122},"reference-count":53,"publisher":"Informa UK Limited","issue":"3","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2015,7,3]]},"DOI":"10.1080\/11663081.2015.1050907","type":"journal-article","created":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T22:42:54Z","timestamp":1437000174000},"page":"193-228","update-policy":"http:\/\/dx.doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":2,"title":["Expressiveness and succinctness of a logic of robustness"],"prefix":"10.1080","volume":"25","author":[{"given":"John C.","family":"McCabe-Dansted","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"French","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Pinchinat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Reynolds","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2015,7,15]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33296-8_3"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/jzp070"},{"key":"CIT0003","first-page":"157","volume-title":"Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems, AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated, Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25\u201326, 2005, revised selected papers","author":"Aldewereld H.","year":"2005"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00442-5"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-4(3:11)2008"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78499-9_12"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25927-5_5"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24690-6_9"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"CIT0010","volume-title":"Model checking","author":"Clarke E. M.","year":"1999"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90269-0"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01399-7_70"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020236119243"},{"key":"CIT0014","first-page":"261","volume-title":"Logic and automata: History and perspectives","volume":"2","author":"Diekert V.","year":"2008"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90082-8"},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1145\/4904.4999"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793304741"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318620"},{"key":"CIT0019","first-page":"176","volume-title":"Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6\u20138, 1983, proceedings","author":"Emerson E. A.","year":"1983"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1145\/800057.808661"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.2307\/2026120"},{"key":"CIT0022","first-page":"165","volume-title":"AI 2001: Advances in Artificial Intelligence: Proceedings of the 14th Australian Conference on AI, Adelaide, Australia, December 10\u201314, 2001, proceedings","author":"French T.","year":"2001"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24581-0_30"},{"key":"CIT0024","volume-title":"Bisimulation quantifiers for modal logics (Unpublished doctoral dissertation)","author":"French T.","year":"2006"},{"key":"CIT0025","first-page":"193","volume-title":"Frontiers of Combining Systems, 6th International Symposium, FroCoS 2007, Liverpool, UK, September 10\u201312, 2007, proceedings","author":"French T."},{"key":"CIT0026","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exu041"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14203-1_28"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36387-4"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"CIT0030","first-page":"262","volume-title":"Proceedings of the 8th International Workshop on Discrete Event Systems (WODES)","author":"J{\\\u2019e}ron T.","year":"2006"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03816-7_37"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60045-0_60"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45620-1_34"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_7"},{"key":"CIT0035","volume-title":"Scalable multi-core model checking (Unpublished doctoral dissertation)","author":"Laarman A. W.","year":"2014"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(99)00075-7"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.2991\/978-94-91216-95-4"},{"key":"CIT0038","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87803-2_25"},{"key":"CIT0039","first-page":"85","volume-title":"CATS 2011: Proceedings of the Seventeenth Computing on The Australasian Theory Symposium","author":"McCabe-Dansted J. C.","year":"2011"},{"key":"CIT0040","volume-title":"A temporal logic of robustness (Unpublished doctoral dissertation)","author":"McCabe-Dansted J. C.","year":"2011"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2010.7"},{"key":"CIT0042","first-page":"37","volume-title":"16th International Symposium on Temporal Representation and Reasoning (TIME)","author":"M\\textsuperscript{c}Cabe-Dansted J. C.","year":"2009"},{"key":"CIT0043","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"CIT0044","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-011-0193-4"},{"key":"CIT0045","first-page":"172","volume-title":"Proceedings of the 24th International Conference on Perspectives in Conceptual Modeling (ER)","author":"Rodrigo A.","year":"2005"},{"key":"CIT0046","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70918-3_48"},{"key":"CIT0047","first-page":"119","volume-title":"Logic and the Foundations of Game and Decision Theory (LOFT), 7th International Conference","volume":"3","author":"van der Hoek W.","year":"2008"},{"key":"CIT0048","first-page":"650","volume-title":"Proceedings of the Fourteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference","author":"van der Torre L. W. N.","year":"1998"},{"key":"CIT0049","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1092"},{"key":"CIT0050","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/LX.237.1"},{"key":"CIT0051","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49116-3_3"},{"key":"CIT0052","doi-asserted-by":"crossref","first-page":"359","DOI":"10.36045\/bbms\/1102714178","volume":"8","author":"Wilke T.","year":"2001","journal-title":"Bulletin of the Belgian Mathematical Society -- Simon Stevin"},{"key":"CIT0053","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1983.51"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,5]],"date-time":"2020-09-05T02:29:05Z","timestamp":1599272945000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/full\/10.1080\/11663081.2015.1050907"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,3]]},"references-count":53,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2015,11,19]]},"published-print":{"date-parts":[[2015,7,3]]}},"alternative-id":["10.1080\/11663081.2015.1050907"],"URL":"https:\/\/doi.org\/10.1080\/11663081.2015.1050907","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,3]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tncl20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"}]}}