{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:39:12Z","timestamp":1725525552126},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540926863"},{"type":"electronic","value":"9783540926870"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92687-0_23","type":"book-chapter","created":{"date-parts":[[2009,2,10]],"date-time":"2009-02-10T09:25:38Z","timestamp":1234257938000},"page":"338-353","source":"Crossref","is-referenced-by-count":2,"title":["A Labeled Natural Deduction System for a Fragment of CTL *"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Masini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigan\u00f2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Volpe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Bolotov, A., Grigoriev, O., Shangin, V.: Natural Deduction Calculus for Computation Tree Logic. In: Proceedings of the John Vincent Atanasoff Symposium, pp. 175\u2013183 (2006)","DOI":"10.1109\/JVA.2006.34"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0304-3975(83)90082-8","volume":"26","author":"E.A. Emerson","year":"1983","unstructured":"Emerson, E.A.: Alternative Semantics for Temporal Logics. Theoretical Computer Science\u00a026, 121\u2013130 (1983)","journal-title":"Theoretical Computer Science"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: Handbook of Theoretical Computer Science. Formal Models and Semantics (B), vol.\u00a0B, pp. 995\u20131072 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"1","key":"23_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0022-0000(85)90001-7","volume":"30","author":"E.A. Emerson","year":"1985","unstructured":"Emerson, E.A., Halpern, J.Y.: Decision Procedures and Expressiveness in the Temporal Logic of Branching Time. Journal of Computer and System Sciences\u00a030(1), 1\u201324 (1985)","journal-title":"Journal of Computer and System Sciences"},{"issue":"3","key":"23_CR5","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0019-9958(84)80047-9","volume":"61","author":"E.A. Emerson","year":"1984","unstructured":"Emerson, E.A., Sistla, A.P.: Deciding Full Branching Time Logic. Information and Control\u00a061(3), 175\u2013201 (1984)","journal-title":"Information and Control"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Gabbay, D.: Labelled Deductive Systems. Clarendon Press (1996)","DOI":"10.1093\/oso\/9780198538332.001.0001"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the Temporal Analysis of Fairness. In: Proceedings of POPL 1980, pp. 163\u2013173 (1980)","DOI":"10.1145\/567446.567462"},{"key":"23_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-71549-5","volume-title":"Temporal Logic of Programs","author":"F. Kr\u00f6ger","year":"1987","unstructured":"Kr\u00f6ger, F.: Temporal Logic of Programs. Springer, Heidelberg (1987)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The Temporal Logic of Programs. In: Proceedings of FOCS, vol.\u00a018, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"23_CR10","unstructured":"Prawitz, D.: Natural Deduction. Almqvist and Wiksell (1965)"},{"issue":"4","key":"23_CR11","first-page":"231","volume":"31","author":"C. Renteria","year":"2002","unstructured":"Renteria, C., Haeusler, E.: A Natural Deduction System for CTL. Bulletin of the Section of Logic\u00a031(4), 231\u2013240 (2002)","journal-title":"Bulletin of the Section of Logic"},{"issue":"3","key":"23_CR12","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.2307\/2695091","volume":"66","author":"M. Reynolds","year":"2001","unstructured":"Reynolds, M.: An Axiomatization of Full Computation Tree Logic. Journal of Symbolic Logic\u00a066(3), 1011\u20131057 (2001)","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"23_CR13","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.ic.2005.03.005","volume":"201","author":"M. Reynolds","year":"2005","unstructured":"Reynolds, M.: An Axiomatization of PCTL*. Information and Computation\u00a0201(1), 72\u2013119 (2005)","journal-title":"Information and Computation"},{"issue":"1","key":"23_CR14","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":"23_CR15","unstructured":"Simpson, A.: The Proof Theory and Semantics of Intuitionistic Modal Logic. Ph.D thesis, College of Science and Engineering, School of Informatics, University of Edinburgh (1994)"},{"key":"23_CR16","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1093\/oso\/9780198537618.003.0005","volume-title":"Handbook of Logic in Computer Science","author":"C. Stirling","year":"1992","unstructured":"Stirling, C.: Modal and Temporal Logics. In: Handbook of Logic in Computer Science, vol.\u00a02, pp. 477\u2013563. Oxford University Press, Oxford (1992)"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Thomason, R.H.: Combinations of Tense and Modality. In: Handbook of Philosophical Logic: Extensions of Classical Logic, pp. 135\u2013165. Reidel (1984)","DOI":"10.1007\/978-94-009-6259-0_3"},{"key":"23_CR18","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"A. Troelstra","year":"2000","unstructured":"Troelstra, A., Schwichtenberg, H.: Basic Proof Theory. Cambridge University Press, Cambridge (2000)"},{"key":"23_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3208-5","volume-title":"Labelled Non-Classical Logics","author":"L. Vigan\u00f2","year":"2000","unstructured":"Vigan\u00f2, L.: Labelled Non-Classical Logics. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"23_CR20","first-page":"119","volume":"110","author":"P. Wolper","year":"1985","unstructured":"Wolper, P.: The Tableau Method for Temporal Logic: An Overview. Logique et Analyse\u00a0110, 119\u2013136 (1985)","journal-title":"Logique et Analyse"},{"issue":"1","key":"23_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2275595","volume":"61","author":"A. Zanardo","year":"1996","unstructured":"Zanardo, A.: Branching-Time Logic with Quantification over Branches: The Point of View of Modal Logic. Journal of Symbolic Logic\u00a061(1), 1\u201339 (1996)","journal-title":"Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92687-0_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,10]],"date-time":"2024-03-10T11:19:18Z","timestamp":1710069558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92687-0_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540926863","9783540926870"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92687-0_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}