{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:17Z","timestamp":1761611117017,"version":"3.41.0"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2004,9,1]],"date-time":"2004-09-01T00:00:00Z","timestamp":1093996800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2004,9,1]],"date-time":"2004-09-01T00:00:00Z","timestamp":1093996800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic, Language and Information"],"published-print":{"date-parts":[[2004,9]]},"DOI":"10.1023\/a:1026187215321","type":"journal-article","created":{"date-parts":[[2003,11,3]],"date-time":"2003-11-03T22:50:32Z","timestamp":1067899832000},"page":"1-23","source":"Crossref","is-referenced-by-count":15,"title":["Two Natural Deduction Systems for Hybrid Logic: A Comparison"],"prefix":"10.1007","volume":"13","author":[{"given":"Torben","family":"Bra\u00fcner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5145324_CR1","doi-asserted-by":"crossref","first-page":"977","DOI":"10.2307\/2695090","volume":"66","author":"C. Areces","year":"2001","unstructured":"Areces, C., Blackburn, P., and Marx, M., 2001, \u201cHybrid logics: Characterization, interpolation and complexity, \u201d Journal of Symbolic Logic\n66, 977-1010.","journal-title":"Journal of Symbolic Logic"},{"key":"5145324_CR2","doi-asserted-by":"crossref","unstructured":"Benton, N., Bierman, G.M., de Paiva, V.C.V., and Hyland, M., 1992, \u201cTerm assignment for intuitionistic linear logic, \u201d Technical Report 262, Computer Laboratory, University of Cambridge.","DOI":"10.1007\/BFb0037099"},{"key":"5145324_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BFb0037099","volume-title":"Proceedings of First International Conference on Typed Lambda Calculi and Applications","author":"N. Benton","year":"1993","unstructured":"Benton, N., Bierman, G.M., de Paiva, V.C.V., and Hyland, M., 1993, \u201cA term calculus for intuitionistic linear logic, \u201d pp. 75-90 in Proceedings of First International Conference on Typed Lambda Calculi and Applications, M. Bezem and J.F. Groote, eds., Lecture Notes in Computer Science, Vol. 664, Berlin: Springer-Verlag."},{"key":"5145324_CR4","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1023\/A:1005291931660","volume":"65","author":"G.M. Bierman","year":"2000","unstructured":"Bierman, G.M. and de Paiva, V.C.V., 2000, \u201cOn an intuitionistic modal logic, \u201d Studia Logica\n65, 383-416.","journal-title":"Studia Logica"},{"key":"5145324_CR5","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1093\/logcom\/10.1.137","volume":"10","author":"P. Blackburn","year":"2000","unstructured":"Blackburn, P., 2000, \u201cInternalizing labelled deduction, \u201d Journal of Logic and Computation\n10, 137-168.","journal-title":"Journal of Logic and Computation"},{"key":"5145324_CR6","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., and Venema, Y., 2001, Modal Logic, Cambridge Tracts in Theoretical Computer Science, Vol. 53, Cambridge: Cambridge University Press."},{"key":"5145324_CR7","unstructured":"Bra\u00fcner, T., 1996, \u201cAn axiomatic approach to adequacy, \u201d Ph.D. Thesis, Department of Computer Science, University of Aarhus, 168 pages. Published as Technical Report BRICS-DS-96-4."},{"key":"5145324_CR8","unstructured":"Bra\u00fcner, T., 2003, \u201cNatural deduction for hybrid logic, \u201d Journal of Logic and Computation, to appear. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 2."},{"volume-title":"Revised and Expanded Edition of Arthur N. Prior: Papers on Time and Tense","year":"2002","key":"5145324_CR9","unstructured":"Hasle, P., \u00d8hrstr\u00f8 m, P., Bra\u00fcner, T., and Copeland, J., eds., 2002, Revised and Expanded Edition of Arthur N. Prior: Papers on Time and Tense, Oxford: Oxford University Press."},{"key":"5145324_CR10","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01128202","volume":"39","author":"P. \u00d8hrstr\u00f8 m","year":"1993","unstructured":"\u00d8hrstr\u00f8 m, P. and Hasle, P., 1993, \u201cA. N. Prior's rediscovery of tense logic, \u201d Erkenntnis\n39, 23-50.","journal-title":"Erkenntnis"},{"key":"5145324_CR11","volume-title":"Natural Deduction. A Proof-Theoretical Study","author":"D. Prawitz","year":"1965","unstructured":"Prawitz, D., 1965, Natural Deduction. A Proof-Theoretical Study, Stockholm: Almqvist and Wiksell."},{"key":"5145324_CR12","series-title":"Studies in Logic and The Foundations of Mathematics","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0049-237X(08)70849-8","volume-title":"Proceedings of the Second Scandinavian Logic Symposium","author":"D. Prawitz","year":"1971","unstructured":"Prawitz, D., 1971, \u201cIdeas and results in proof theory, \u201d pp. 235-307 in Proceedings of the Second Scandinavian Logic Symposium, J.E. Fenstad, ed., Studies in Logic and The Foundations of Mathematics, Vol. 63, Amsterdam: North-Holland."},{"key":"5145324_CR13","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., 1967, Past, Present and Future, Oxford: Clarendon\/Oxford University Press."},{"key":"5145324_CR14","volume-title":"Papers on Time and Tense","author":"A. Prior","year":"1968","unstructured":"Prior, A., 1968, Papers on Time and Tense, Oxford: Clarendon\/Oxford University Press."},{"key":"5145324_CR15","series-title":"Applied Logic Series","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-94-015-8879-9_5","volume-title":"Advances in Intensional Logic","author":"J. Seligman","year":"1997","unstructured":"Seligman, J., 1997, \u201cThe logic of correct description, \u201d pp. 107-135 in Advances in Intensional Logic, M. de Rijke, ed., Applied Logic Series, Dordrecht: Kluwer Academic Publishers."},{"key":"5145324_CR16","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1093\/logcom\/11.5.671","volume":"11","author":"J. Seligman","year":"2001","unstructured":"Seligman, J., 2001, \u201cInternalisation: The case of hybrid logics, \u201d Journal of Logic and Computation\n11, 671-689. Special Issue on Hybrid Logics, C. Areces and P. Blackburn, eds.","journal-title":"Journal of Logic and Computation"},{"key":"5145324_CR17","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Basic Proof Theory","author":"A.S. Troelstra","year":"1996","unstructured":"Troelstra, A.S. and Schwichtenberg, H., 1996, Basic Proof Theory, Cambridge Tracts in Theoretical Computer Science, Vol. 43, Cambridge: Cambridge University Press."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026187215321.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026187215321\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026187215321.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,12]],"date-time":"2025-06-12T10:21:42Z","timestamp":1749723702000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026187215321"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,9]]}},"alternative-id":["5145324"],"URL":"https:\/\/doi.org\/10.1023\/a:1026187215321","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2004,9]]}}}