{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:37Z","timestamp":1725663637502},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512370"},{"type":"electronic","value":"9783540461807"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51237-3_5","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:49:05Z","timestamp":1330202945000},"page":"41-62","source":"Crossref","is-referenced-by-count":1,"title":["Inevitability in branching time"],"prefix":"10.1007","author":[{"given":"Jos\u00e9","family":"Carmo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"5_CR1","unstructured":"Boolos, G., The Unprovability of Consistency. An Essay in Modal Logic, Cambridge University Press, 1979."},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1111\/j.1755-2567.1978.tb00175.x","volume":"XLIV","author":"J.P. Burgess","year":"1978","unstructured":"Burgess, J.P., \"The Unreal Future\", Theoria, XLIV, 157\u2013174, 1978.","journal-title":"Theoria"},{"key":"5_CR3","unstructured":"Carmo, J., \"The Infolog Branching Logic of Events\", in: Sernadas, A., Bubenko, J. and Oliv\u00e9, A. (eds.), Theoretical and Formal Aspects of Information Systems 1985, North-Holland, 159\u2013174, 1985."},{"key":"5_CR4","unstructured":"Carmo, J., \"L\u00f3gicas Temporais para a Especifica\u00e7\u00e3o e Verifica\u00e7\u00e3o de Sistemas de Informa\u00e7\u00e3o\", Ph. D. thesis, IST (the Lisbon Institute of Technology, Technical University of Lisbon), 1988."},{"key":"5_CR5","unstructured":"Carmo, J. and Sernadas, A., \"Branching versus Linear Logics Yet Again\", internal report, IST\/INESC, 1988."},{"issue":"1","key":"5_CR6","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"Emerson, E.A. and Halpern, J.Y., \"\"Sometimes\" and \"Not Never\" Revisited: On Branching versus Linear Time Temporal Logic\", Journal ACM 33 (1), 151\u2013178, 1986.","journal-title":"Journal ACM"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/BF00649989","volume":"1","author":"D.M. Gabbay","year":"1972","unstructured":"Gabbay, D.M., \"Tense Systems with Discrete Moments of Time: Part I\", Journal of Philosophical Logic 1, 35\u201344, 1972.","journal-title":"Journal of Philosophical Logic"},{"key":"5_CR8","unstructured":"Hamilton, A.G., Logic for Mathematicians, Cambridge University Press, 1978."},{"key":"5_CR9","unstructured":"Hughes, G.E. e Cresswell, M.J., A Companion to Modal Logic, Methuen, 1984."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"McArthur, R.P., Tense Logic, D. Reidel Publishing Company, 1976.","DOI":"10.1007\/978-94-017-3219-2"},{"issue":"3","key":"5_CR11","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1305\/ndjfl\/1093882655","volume":"XX","author":"S. McCall","year":"1979","unstructured":"McCall, S., \"The Strong Future Tense\", Notre Dame Journal of Formal Logic XX (3), 489\u2013504, 1979.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Prior, A., Past, Present and Future, Oxford, 1967.","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Rescher, N. e Urquhart, A., Temporal Logic, Springer-Verlag, 1971.","DOI":"10.1007\/978-3-7091-7664-1"},{"key":"5_CR14","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., \"Indeterministic Time and Truth-Value Gaps\", Theoria 36, 264\u2013281, 1970.","journal-title":"Theoria"}],"container-title":["Lecture Notes in Computer Science","Logic at Botik '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51237-3_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T13:13:55Z","timestamp":1713618835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51237-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512370","9783540461807"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-51237-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}