{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:55Z","timestamp":1761611155564},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Lang Inf"],"published-print":{"date-parts":[[2005,3]]},"DOI":"10.1007\/s10849-005-3927-y","type":"journal-article","created":{"date-parts":[[2005,4,27]],"date-time":"2005-04-27T15:34:04Z","timestamp":1114616044000},"page":"173-198","source":"Crossref","is-referenced-by-count":22,"title":["Natural Deduction for First-Order Hybrid Logic"],"prefix":"10.1007","volume":"14","author":[{"given":"Torben","family":"Bra\u00dcner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1016\/S0168-0072(03)00059-9","volume":"124","author":"C. Areces","year":"2003","unstructured":"Areces, C., Blackburn, P., and Marx, M., 2003, \u201cRepairing the interpolation theorem in quantified modal logic,\u201d Annals of Pure and Applied Logic 124, 287\u2013299.","journal-title":"Annals of Pure and Applied Logic"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1093\/logcom\/7.6.685","volume":"7","author":"D. Basin","year":"1997","unstructured":"Basin, D., Matthews, S., and Vigan\u00f2, L., 1997, \u201cLabelled propositional modal logics: Theory and practice,\u201d Journal of Logic and Computation 7, 685\u2013717.","journal-title":"Journal of Logic and Computation"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1023\/A:1008278803780","volume":"7","author":"D. Basin","year":"1998","unstructured":"Basin, D., Matthews, S., and Vigan\u00f2, L., 1998, \u201cLabelled modal logics: Quantifiers,\u201d Journal of Logic, Language and Information 7, 237\u2013263.","journal-title":"Journal of Logic, Language and Information"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-94-017-0458-8_3","volume-title":"Hand-book of Philosophical Logic, Vol. 5","author":"E. Bencivenga","year":"2002","unstructured":"Bencivenga, E., 2002, \u201cFree logics,\u201d in Hand-book of Philosophical Logic, 2nd Edition, Vol. 5., D. Gabbay and F. Guenthner, eds., Dordrecht: Kluwer Academic Publishers, pp. 147\u2013196.","edition":"2nd Edition"},{"key":"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 10, 137\u2013168.","journal-title":"Journal of Logic and Computation"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Blackburn, P. and Marx, M., 2002, \u201cTableaux for quantified hybrid logic,\u201d pp. 38\u201352 in Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, Vol. 2381, U. Egly and C. Ferm\u00fcller (eds.), Lecture Notes in Artificial Intelligence, Springer-Verlag.","DOI":"10.1007\/3-540-45616-3_4"},{"key":"CR7","volume-title":"Modal Logic, Vol. 53, Cambridge Tracts in Theoretical Computer Science","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., and Venema, Y., 2001, Modal Logic, Vol. 53, Cambridge Tracts in Theoretical Computer Science, Cambridge: Cambridge University Press."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Bra\u00fcner, T., 2002a, \u201cModal logic, truth, and the master modality,\u201d Journal of Philosophical Logic 31, 359\u2013386. Revised and extended version of paper in Advances in Modal Logic, Vol. 3, World Scientific.","DOI":"10.1023\/A:1019992820056"},{"key":"CR9","unstructured":"Bra\u00fcner, T., 2002b, \u201cNatural deduction for first-order hybrid logic,\u201d pp. 37\u201351 in Workshop Proceedings of Fourth Workshop on Hybrid Logics. Affiliated to IEEE Symposium on Logic in Computer Science, C. Areces, P. Blackburn, M. Marx, and U. Sattler (eds.)."},{"key":"CR10","unstructured":"Bra\u00fcner, T., 2004a, \u201cAxioms for classical and constructive hybrid logic,\u201d Manuscript, Hard-copies available from the author."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Bra\u00fcner, T., 2004b, \u201cNatural deduction for hybrid logic,\u201d Journal of Logic and Computation 14, 329\u2013353. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 2.","DOI":"10.1093\/logcom\/14.3.329"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1026187215321","volume":"13","author":"T. Bra\u00fcner","year":"2004c","unstructured":"Bra\u00fcner, T., 2004c, \u201cTwo natural deduction systems for hybrid logic: A comparison,\u201d Journal of Logic, Language and Information 13, 1\u201323.","journal-title":"Journal of Logic, Language and Information"},{"key":"CR13","unstructured":"Bra\u00fcner, T. and de Paiva, V., 2003, \u201cTowards constructive hybrid logic (Extended Abstract),\u201d p. 15 in Workshop Proceedings of Methods for Modalities 3. C. Areces and P. Blackburn, eds."},{"key":"CR14","unstructured":"Bra\u00fcner, T. and Ghilardi, S., 2005, \u201cFirst-order modal logic,\u201d in Handbook of Modal Logic, P. Blackburn, J. van Benthem, and F. Wolter, eds., Elsevier, in preparation."},{"key":"CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"M. Fitting","year":"1998","unstructured":"Fitting, M. and Mendelsohn, R., 1998, First-Order Modal Logic, Dordrecht: Kluwer Academic Publishers."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/978-94-017-0454-0_3","volume-title":"Handbook of Philosophical Logic, Vol. 3","author":"J. Garson","year":"2001","unstructured":"Garson, J., 2001, \u201cQuantification in modal logic,\u201d pp. 267\u2013323 in Handbook of Philosophical Logic, 2nd Edition, Vol. 3., D. Gabbay and F. Guenthner (eds.), Dordrecht: Kluwer Academic Publishers.","edition":"2nd Edition"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Gentzen, G., 1969, \u201cInvestigations into logical deduction,\u201d pp. 68\u2013131 in The Collected Papers of Gerhard Gentzen. M.E. Szabo, ed., North-Holland Publishing Company.","DOI":"10.1016\/S0049-237X(08)70822-X"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Hasle, P., Oslash;hrstrOslash;m, P., Bra\u00fcner, T., and Copeland, J., eds., 2003, Revised and Expanded Edition of Arthur N. Prior: Papers on Time and Tense, Oxford University Press, 342 pp.","DOI":"10.1093\/oso\/9780199256068.001.0001"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"Hughes, G. and Cresswell, M., 1996, A New Introduction to Modal Logic, Routledge.","DOI":"10.4324\/9780203290644"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/BF01128202","volume":"39","author":"P. \u00d8hrstr\u00d8m","year":"1993","unstructured":"Oslash;hrstrOslash;m, P. and Hasle, P., 1993, \u201cA. N. prior\u2019s rediscovery of tense logic,\u201d Erkenntnis 39, 23\u201350.","journal-title":"Erkenntnis"},{"key":"CR21","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":"CR22","doi-asserted-by":"crossref","unstructured":"Prawitz, D., 1971, \u201cIdeas and results in proof theory,\u201d pp. 235\u2013307 in Proceedings of the Second Scandinavian Logic Symposium, Vol. 63 of Studies in Logic and The Foundations of Mathematics, J.E. Fenstad, ed., North-Holland.","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"CR23","unstructured":"Prior, A., 1968, Papers on Time and Tense, Clarendon\/Oxford University Press."},{"key":"CR24","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\u2013135 in Advances in Intensional Logic, M. de Rijke, ed., Applied Logic Series, Dordrecht: Kluwer Academic Publishers."},{"key":"CR25","unstructured":"Simpson, A., 1994, \u201cThe proof theory and semantics of intuitionistic modal logic,\u201d Ph.D. Thesis, University of Edinburgh."},{"key":"CR26","unstructured":"Troelstra, A. and Schwichtenberg, H., 1996, Basic Proof Theory, Vol. 43, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press."},{"key":"CR27","unstructured":"Vickers, S., 1988, Topology via Logic, Vol. 5, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-005-3927-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-005-3927-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-005-3927-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,25]],"date-time":"2024-01-25T06:26:10Z","timestamp":1706163970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-005-3927-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["3927"],"URL":"https:\/\/doi.org\/10.1007\/s10849-005-3927-y","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,3]]}}}