{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:24:18Z","timestamp":1752229458897},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540582410"},{"type":"electronic","value":"9783540485858"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bfb0013993","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:34:32Z","timestamp":1132713272000},"page":"265-282","source":"Crossref","is-referenced-by-count":7,"title":["Synchronized histories in prior-thomason representation of branching time"],"prefix":"10.1007","author":[{"given":"Maria Concetta","family":"Di Maio","sequence":"first","affiliation":[]},{"given":"Alberto","family":"Zanardo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"N. Belnap, M. Perloff, 'seeing to it that: a canonical form of agentives', in Knowledge representation and defeasible reasonings, H. E. Kyburg, Jr., R. P. Loui and G. N. Carlson (eds.), Kluver Academic Publisher, 1990, pp.175\u2013199.","DOI":"10.1007\/978-94-009-0553-5_7"},{"key":"17_CR2","doi-asserted-by":"crossref","first-page":"556","DOI":"10.2307\/2273296","volume":"44","author":"J. Burgess","year":"1979","unstructured":"Burgess, J., \u2018Logic and Time', Journal of Symbolic Logic, 44, 1979, pp. 556\u2013582.","journal-title":"Journal of Symbolic Logic"},{"key":"17_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/0198248601.001.0001","volume-title":"Laws and Symmetry","author":"B. Frassen van","year":"1989","unstructured":"van Frassen, B., Laws and Symmetry, Clarendon Press, Oxford, 1989"},{"key":"17_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0013976","volume-title":"Temporal Logic: Mathematical Foundation and Computational Aspects","author":"D. Gabbay","year":"1994","unstructured":"D. Gabbay, I. Hodkinson and M. Reynolds, Temporal Logic: Mathematical Foundation and Computational Aspects, Oxford University Press, Oxford, 1994."},{"key":"17_CR5","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-94-009-8384-7_3","volume-title":"Aspects of Philosophical Logic","author":"D. Gabbay","year":"1981","unstructured":"Gabbay, D., \u2018An Irreflexivity Lemma with Applications to Axiomatizations of Conditions on Tense Frames', in U. M\u00f6nnich (ed.), Aspects of Philosophical Logic, D. Reidel, Dordrecht (1981), 67\u201389."},{"issue":"3","key":"17_CR6","doi-asserted-by":"crossref","first-page":"668","DOI":"10.2307\/2274321","volume":"50","author":"Y. Gurevich","year":"1985","unstructured":"Y. Gurevich, S. Shelah, \u2018The decision problem for branching time logic', J. of Symbolic Logic, 50 (3) 1985, pp. 668\u2013681.","journal-title":"J. of Symbolic Logic"},{"key":"17_CR7","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A. Prior","year":"1967","unstructured":"Prior, A., Past, Present and Future, Clarendon, Oxford, 1967."},{"key":"17_CR8","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-94-009-6259-0_3","volume-title":"The Handbook of Philosophical Logic, vol. 2","author":"R. Thomason","year":"1984","unstructured":"Thomason, R., \u2018Combinations of tense and modality', in D. Gabbay and F. Guenthner (eds.), The Handbook of Philosophical Logic, vol. 2, D. Reidel, Dordrecht (1984), 135\u2013165."},{"key":"17_CR9","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1007\/BF00649485","volume":"14","author":"A. Zanardo","year":"1985","unstructured":"Zanardo, A., \u2018A Finite Axiomatization of the Set of Strongly Valid Ockhamist Formulas', Journal of Philosophical Logic, 14, 1985, pp. 447\u2013468.","journal-title":"Journal of Philosophical Logic"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Zanardo, A., \u2018On the Characterizability of the Frames for the Unpreventability of the Present and the Past', Notre Dame J. of Formal Logic, 1986, 556\u2013564.","DOI":"10.1305\/ndjfl\/1093636769"},{"key":"17_CR11","unstructured":"Zanardo, A., \u2018Branching-time logic with quantification over branches. The point of view of modal logic', draft."}],"container-title":["Lecture Notes in Computer Science","Temporal Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0013993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T05:58:15Z","timestamp":1549346295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013993"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540582410","9783540485858"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0013993","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}