{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,21]],"date-time":"2024-02-21T19:10:15Z","timestamp":1708542615474},"reference-count":43,"publisher":"Informa UK Limited","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.3166\/jancl.17.521-543","type":"journal-article","created":{"date-parts":[[2008,1,28]],"date-time":"2008-01-28T10:47:11Z","timestamp":1201517231000},"page":"521-543","source":"Crossref","is-referenced-by-count":6,"title":["Why does the proof-theory of hybrid logic work so well?"],"prefix":"10.1080","volume":"17","author":[{"given":"Torben","family":"Bra\u00fcner","sequence":"first","affiliation":[{"name":"a Programming, Logic and Intelligent Systems Research Group , Roskilde University , P.O. Box 260, DK-4000 , Roskilde , Denmark"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(03)00059-9"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/11.5.717"},{"key":"CIT0003","first-page":"156","volume-title":"Proceedings of the 18th International Conference on Automated Deduction, vol. 2392 of Lecture Notes in Computer Science","author":"Areces C."},{"key":"CIT0004","first-page":"821","volume-title":"Handbook of Modal Logic","author":"Areces C.","year":"2006"},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1093\/logcom\/7.6.685","volume":"7","author":"Basin D.","year":"1997","journal-title":"Journal of Logic and Computation"},{"key":"CIT0006","doi-asserted-by":"publisher","DOI":"10.2307\/3326862"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.1.137"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.3.339"},{"key":"CIT0009","volume-title":"Modal Logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science","author":"Blackburn P.","year":"2001"},{"key":"CIT0010","first-page":"38","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, vol. 2381 of Lecture Notes in Artificial Intelligence","author":"Blackburn P.","year":"2002"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.2178\/jsl\/1052669059"},{"key":"CIT0012","first-page":"79","volume-title":"4th Workshop \"Methods for Modalities\" (M4M), Informatik-Bericht Nr. 194","author":"Bolander T."},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exl008"},{"key":"CIT0014","first-page":"79","volume-title":"Proceedings of 6th Workshop on Logic, Language, Information and Computation","author":"Bra\u00fcner T."},{"key":"CIT0015","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1093\/jigpal\/8.5.629","volume":"8","author":"Bra\u00fcner T.","year":"2000","journal-title":"Logic Journal of the IGPL"},{"key":"CIT0016","volume-title":"Workshop Proceedings of Methods for Modalities 2","author":"Bra\u00fcner T."},{"key":"CIT0017","first-page":"37","volume-title":"Workshop Proceedings of Fourth Workshop on Hybrid Logics","author":"Bra\u00fcner T."},{"key":"CIT0018","first-page":"31","volume-title":"Advances in Modal Logic","volume":"4","author":"Bra\u00fcner T.","year":"2003"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.3.329"},{"key":"CIT0020","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1026187215321","volume":"13","author":"Bra\u00fcner T.","year":"2004","journal-title":"Journal of Logic, Language and Information"},{"key":"CIT0021","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s10849-005-3927-y","volume":"14","author":"Bra\u00fcner T.","year":"2005","journal-title":"Journal of Logic, Language and Information"},{"key":"CIT0022","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s11225-005-3704-6","volume":"81","author":"Bra\u00fcner T.","year":"2005","journal-title":"Studia Logica"},{"key":"CIT0023","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s10849-006-9013-2","volume":"15","author":"Bra\u00fcner T.","year":"2006","journal-title":"Journal of Logic, Language and Information"},{"key":"CIT0024","volume-title":"Workshop Proceedings of Methods for Modalities 3","author":"Bra\u00fcner T."},{"key":"CIT0025","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/j.jal.2005.06.009","volume":"4","author":"Bra\u00fcner T.","year":"2006","journal-title":"Journal of Applied Logic"},{"key":"CIT0026","first-page":"117","volume-title":"Advances in Modal Logic","volume":"6","author":"Br\u00fcnnler K.","year":"2006"},{"key":"CIT0027","first-page":"1","volume-title":"Handbook of Philosophical Logic","volume":"3","author":"Bull R.","year":"2001","edition":"2"},{"key":"CIT0028","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logic","author":"Fitting M.","year":"1983"},{"key":"CIT0029","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538332.001.0001","volume-title":"Labelled Deductive Systems","author":"Gabbay D.","year":"1996"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1007\/BF00869545"},{"key":"CIT0031","first-page":"113","volume":"9","author":"Ohnishi M.","year":"1957","journal-title":"Osaka Mathematical Journal"},{"key":"CIT0032","first-page":"115","volume":"11","author":"Ohnishi M.","year":"1959","journal-title":"Osaka Mathematical Journal"},{"key":"CIT0033","volume-title":"Natural Deduction. A Proof-Theoretical Study","author":"Prawitz D.","year":"1965"},{"key":"CIT0034","first-page":"235","volume-title":"Proceedings of the Second Scandinavian Logic Symposium, vol. 63 of Studies in Logic and The Foundations of Mathematics","author":"Prawitz D."},{"key":"CIT0035","first-page":"25","volume-title":"Essays on Mathematical and Philosophical Logic, Studies in Logic and The Foundations of Mathematics","author":"Prawitz D.","year":"1978"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.2307\/3326699"},{"key":"CIT0037","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":"Seligman J.","year":"1997"},{"key":"CIT0038","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1093\/logcom\/11.5.671","volume":"11","author":"Seligman J.","year":"2001","journal-title":"Journal of Logic and Computation"},{"key":"CIT0039","volume-title":"The Proof Theory and Semantics of Intuitionistic Modal logic","author":"Simpson A.","year":"1994"},{"key":"CIT0040","volume-title":"Basic Proof Theory, vol. 43 of Cambridge Tracts in Theoretical Computer Science","author":"Troelstra A.","year":"1996"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3208-5"},{"key":"CIT0042","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1093\/logcom\/4.2.125","volume":"4","author":"Wansing H.","year":"1994","journal-title":"Journal of Logic and Computation"},{"key":"CIT0043","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005217827758"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.17.521-543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,21]],"date-time":"2024-02-21T18:51:33Z","timestamp":1708541493000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.17.521-543"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":43,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2007,1]]}},"alternative-id":["10.3166\/jancl.17.521-543"],"URL":"https:\/\/doi.org\/10.3166\/jancl.17.521-543","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}