{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:34Z","timestamp":1760202574465,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878025"},{"type":"electronic","value":"9783540878032"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87803-2_25","type":"book-chapter","created":{"date-parts":[[2008,9,23]],"date-time":"2008-09-23T10:35:16Z","timestamp":1222166116000},"page":"298-310","source":"Crossref","is-referenced-by-count":5,"title":["A Tableau for RoBCTL"],"prefix":"10.1007","author":[{"given":"John C.","family":"McCabe-Dansted","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","unstructured":"Aldewereld, H., Grossi, D., Vazquez-Salceda, J., Dignum, F.: Designing normative behaviour by the use of landmarks. In: Agents, Norms and Institutions for Regulated Multiag. Syst., Utrecht, The Netherlands (July 2005)","DOI":"10.1007\/11775331_11"},{"key":"25_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/978-3-540-25927-5_5","volume-title":"Deontic Logic in Computer Science","author":"J. Broersen","year":"2004","unstructured":"Broersen, J., Dignum, F., Dignum, V., Meyer, J.-J.Ch.: Designing a Deontic Logic of Deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol.\u00a03065, pp. 43\u201356. Springer, Heidelberg (2004)"},{"key":"25_CR3","unstructured":"Dixon, C., Mc Cabe-Dansted, J.C.: Resolution for a temporal logic of robustness (extended version). Technical Report ULCS-08-002, University of Liverpool, Department of Computer Science (2008), http:\/\/www.csc.liv.ac.uk\/research\/techreports\/"},{"key":"25_CR4","first-page":"169","volume-title":"STOC","author":"E. Allen Emerson","year":"1982","unstructured":"Allen Emerson, E., Halpern, J.Y.: Decision procedures and expressiveness in the temporal logic of branching time. In: STOC, pp. 169\u2013180. ACM, New York (1982)"},{"key":"25_CR5","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/800057.808661","volume-title":"STOC 1984: Proc. 16th annual ACM sympos. on Theory of computing","author":"E.A. Emerson","year":"1984","unstructured":"Emerson, E.A., Sistla, A.P.: Deciding branching time logic. In: STOC 1984: Proc. 16th annual ACM sympos. on Theory of computing, pp. 14\u201324. ACM Press, New York (1984)"},{"key":"25_CR6","first-page":"165","volume-title":"AI 2001: Proc. 14th Australian Joint Conf. on AI","author":"T. French","year":"2001","unstructured":"French, T.: Decidability of quantifed propositional branching time logics. In: AI 2001: Proc. 14th Australian Joint Conf. on AI, London, UK, pp. 165\u2013176. Springer, Heidelberg (2001)"},{"key":"25_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-74621-8_13","volume-title":"Frontiers of Combining Systems","author":"T. French","year":"2007","unstructured":"French, T., Mc Cabe-Dansted, J.C., Reynolds, M.: A Temporal Logic of Robustness. In: Konev, B., Wolter, F. (eds.) FroCos 2007. LNCS (LNAI), vol.\u00a04720, pp. 193\u2013205. Springer, Heidelberg (2007); expanded tech. report [11], http:\/\/dx.doi.org\/10.1007\/978-3-540-74621-8_13"},{"issue":"5","key":"25_CR8","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Formal Aspects of Computing\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"25_CR9","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0951-8320(99)00075-7","volume":"67","author":"W. Long","year":"2000","unstructured":"Long, W., Sato, Y., Horigome, M.: Quantification of sequential failure logic for fault tree analysis. Reliab. Eng. Syst. Safe.\u00a067, 269\u2013274 (2000)","journal-title":"Reliab. Eng. Syst. Safe."},{"key":"25_CR10","unstructured":"Mc Cabe-Dansted, J.C.: A tableau for RoBCTL*. Technical report, UWA (2008), http:\/\/www.csse.uwa.edu.au\/~john\/papers\/Da08Tableau.pdf"},{"key":"25_CR11","unstructured":"Mc Cabe-Dansted, J.C., French, T., Reynolds, M.: A temporal logic of robustness, RoCTL*. Technical report, UWA (2007), http:\/\/www.csse.uwa.edu.au\/~john\/papers\/RoCTL07.pdf"},{"issue":"1","key":"25_CR12","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1093\/logcom\/exl033","volume":"17","author":"M. Reynolds","year":"2007","unstructured":"Reynolds, M.: A Tableau for Bundled CTL. Journal of Logic and Computation\u00a017(1), 117\u2013132 (2007)","journal-title":"Journal of Logic and Computation"},{"key":"25_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/11586180","volume-title":"Perspectives in Conceptual Modeling","author":"A. Rodrigo","year":"2005","unstructured":"Rodrigo, A., Eduardo, A.: Normative pragmatics for agent communication languages. In: Akoka, J., Liddle, S.W., Song, I.-Y., Bertolotto, M., Comyn-Wattiau, I., van den Heuvel, W.-J., Kolp, M., Trujillo, J., Kop, C., Mayr, H.C. (eds.) ER Workshops 2005. LNCS, vol.\u00a03770, pp. 172\u2013181. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87803-2_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:49:56Z","timestamp":1619524196000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87803-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540878025","9783540878032"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87803-2_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}