{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T15:08:49Z","timestamp":1745334529416},"reference-count":34,"publisher":"Oxford University Press (OUP)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2017,2]]},"DOI":"10.1093\/logcom\/exv052","type":"journal-article","created":{"date-parts":[[2017,1,23]],"date-time":"2017-01-23T15:25:18Z","timestamp":1485185118000},"page":"81-107","source":"Crossref","is-referenced-by-count":3,"title":["Completeness and termination for a Seligman-style tableau system"],"prefix":"10.1093","volume":"27","author":[{"given":"Patrick","family":"Blackburn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Bolander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torben","family":"Bra\u00fcner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus Frovin","family":"J\u00f8rgensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2015,9,28]]},"reference":[{"key":"2017012307250564000_27.1.81.1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-32275-7_9"},{"key":"2017012307250564000_27.1.81.2","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-010-9167-0"},{"key":"2017012307250564000_27.1.81.3","unstructured":"C. Areces and J. Heguiabehere. Direct resolution for modal-like logics. In Proceedings of the 3rd International Workshop on the Implementation of Logics. pp. 3\u201316. Tbilisi, Georgia, 2002."},{"key":"2017012307250564000_27.1.81.4","doi-asserted-by":"crossref","unstructured":"Basin D. D'Agostino M. Gabbay D. Matthews S. Vigan\u00f2 L. Labelled Deduction, Applied Logic Series, vol. 17. Kluwer Academic Publishers, 2000.","DOI":"10.1007\/978-94-011-4040-9"},{"key":"2017012307250564000_27.1.81.5","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/10.1.137"},{"key":"2017012307250564000_27.1.81.6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-45221-5_11"},{"key":"2017012307250564000_27.1.81.7","first-page":"144","article-title":"Indexical hybrid tense logic","volume-title":"Advances in Modal Logic","volume":"9","author":"Blackburn","year":"2012"},{"key":"2017012307250564000_27.1.81.8","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/978-3-642-40972-1_14","article-title":"Contextual validity in hybrid logic","volume-title":"Modeling and Using Context. Lecture Notes in Computer Science","volume":"8177","author":"Blackburn","year":"2013"},{"key":"2017012307250564000_27.1.81.9","doi-asserted-by":"crossref","unstructured":"P. Blackburn and M. Marx. Tableaux for quantified hybrid logic. In Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Egly, U., Fernm\u00fcller, C. eds., pp. 38\u201352, 2002.","DOI":"10.1007\/3-540-45616-3_4"},{"key":"2017012307250564000_27.1.81.10","doi-asserted-by":"crossref","unstructured":"Blackburn P. de Rijke M. Venema Y. Modal Logic. Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"2017012307250564000_27.1.81.11","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/7.1.27"},{"key":"2017012307250564000_27.1.81.12","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exm014"},{"key":"2017012307250564000_27.1.81.13","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exl008"},{"key":"2017012307250564000_27.1.81.14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026187215321"},{"key":"2017012307250564000_27.1.81.15","doi-asserted-by":"crossref","unstructured":"Bra\u00fcner T. Hybrid logic and its Proof-Theory, Applied Logic Series, Vol. 37. Springer, 2011.","DOI":"10.1007\/978-94-007-0002-4"},{"key":"2017012307250564000_27.1.81.16","unstructured":"T. Bra\u00fcner. Hybrid-logical reasoning in false-belief tasks. In Proceedings of Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK). Schipper, B. ed., pp. 186\u2013195 (2013), available at http:\/\/tark.org ."},{"key":"2017012307250564000_27.1.81.17","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-014-9206-z"},{"key":"2017012307250564000_27.1.81.18","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exi071"},{"key":"2017012307250564000_27.1.81.19","first-page":"152","article-title":"Tree proofs in modal logic","volume":"31","author":"Fitch","year":"1966","journal-title":"Journal of Symbolic Logic"},{"key":"2017012307250564000_27.1.81.20","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093894722"},{"key":"2017012307250564000_27.1.81.21","doi-asserted-by":"crossref","unstructured":"Fitting M. Proof Methods for Modal and Intuitionistic Logics. Reidel, 1983.","DOI":"10.1007\/978-94-017-2794-5"},{"key":"2017012307250564000_27.1.81.22","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.apal.2011.09.004","article-title":"Prefixed tableaus and nested sequents","volume":"34","author":"Fitting","year":"2012","journal-title":"Annals of Pure and Applied Logic"},{"key":"2017012307250564000_27.1.81.23","doi-asserted-by":"crossref","unstructured":"Gabbay D. Labelled Deductive Systems. Oxford University Press, 1996.","DOI":"10.1093\/oso\/9780198538332.001.0001"},{"key":"2017012307250564000_27.1.81.24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2011.10.002"},{"key":"2017012307250564000_27.1.81.25","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2010.04.010"},{"key":"2017012307250564000_27.1.81.26","unstructured":"G. Hoffmann. T\u00e2ches de raisonnement en logiques hybrides. PhD Thesis, Universit\u00e9 Henri Poincar\u00e9 - Nancy I, 2010, http:\/\/tel.archives-ouvertes.fr\/tel-00541664 ."},{"key":"2017012307250564000_27.1.81.27","unstructured":"Hoffmann G. Areces C. HTab: a terminating tableaux system for hybrid logic. In Proceedings of Methods for Modalities 5, 2007."},{"key":"2017012307250564000_27.1.81.28","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s10849-006-9023-0","article-title":"A proof-theoretic study of the correspondence of hybrid logic and classical logic","volume":"16","author":"Kushida","year":"2007","journal-title":"Journal of Logic, Language and Information"},{"key":"2017012307250564000_27.1.81.29","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-005-2267-3"},{"key":"2017012307250564000_27.1.81.30","doi-asserted-by":"publisher","DOI":"10.1007\/s11787-014-0097-1"},{"key":"2017012307250564000_27.1.81.31","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-8879-9_5"},{"key":"2017012307250564000_27.1.81.32","first-page":"671","article-title":"Internalisation: the case of hybrid logics","volume":"11","author":"Seligman","year":"2001","journal-title":"Journal of and Computation"},{"key":"2017012307250564000_27.1.81.33","doi-asserted-by":"crossref","unstructured":"Stenning K. van Lambalgen M. Human Reasoning and Cognitive Science. MIT Press, 2008.","DOI":"10.7551\/mitpress\/7964.001.0001"},{"key":"2017012307250564000_27.1.81.34","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48754-9_24"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/1\/81\/9688543\/exv052.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,22]],"date-time":"2024-06-22T00:33:15Z","timestamp":1719016395000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exv052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,28]]},"references-count":34,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,1,23]]},"published-print":{"date-parts":[[2017,2]]}},"alternative-id":["10.1093\/logcom\/exv052"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv052","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,28]]}}}