{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:19:30Z","timestamp":1725761970734},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452208"},{"type":"electronic","value":"9783642452215"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45221-5_11","type":"book-chapter","created":{"date-parts":[[2013,12,5]],"date-time":"2013-12-05T09:28:23Z","timestamp":1386235703000},"page":"147-163","source":"Crossref","is-referenced-by-count":1,"title":["A Seligman-Style Tableau System"],"prefix":"10.1007","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":"297","reference":[{"key":"11_CR1","unstructured":"Areces, C., Heguiabehere, J.: Direct Resolution for Modal-like Logics. In: Proceedings of the 3rd International Workshop on the Implementation of Logics, Tbilisi, Georgia, pp. 3\u201316 (2002)"},{"key":"11_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-540-32275-7_9","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"C. Areces","year":"2005","unstructured":"Areces, C., Gor\u00edn, D.: Ordered Resolution with Selection for \n                  \n                    \n                  \n                  $\\mathcal{H}(@)$\n                . In: Baader, F., Voronkov, A. (eds.) LPAR 2004. LNCS (LNAI), vol.\u00a03452, pp. 125\u2013141. Springer, Heidelberg (2005)"},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-010-9167-0","volume":"46","author":"C. Areces","year":"2011","unstructured":"Areces, C., Gor\u00edn, D.: Resolution with Order and Selection for Hybrid Logics. J. Autom. Reasoning\u00a046(1), 1\u201342 (2011)","journal-title":"J. Autom. Reasoning"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1005291931660","volume":"65","author":"G. Bierman","year":"2000","unstructured":"Bierman, G., de Paiva, V.: On an Intuitionistic Modal Logic. Studia Logica\u00a065, 383\u2013416 (2000)","journal-title":"Studia Logica"},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1093\/logcom\/10.1.137","volume":"10","author":"P. Blackburn","year":"2000","unstructured":"Blackburn, P.: Internalizing labelled deduction. Journal of Logic and Computation\u00a010(1), 137\u2013168 (2000)","journal-title":"Journal of Logic and Computation"},{"key":"11_CR6","unstructured":"Blackburn, P., J\u00f8rgensen, K.F.: Indexical Hybrid Tense Logic. In: Bolander, T., Bra\u00fcner, T., Ghilardi, S., Moss, L. (eds.) Advances in Modal Logic, vol.\u00a09, pp. 144\u2013160 (2012)"},{"key":"11_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-45616-3_4","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"P. Blackburn","year":"2002","unstructured":"Blackburn, P., Marx, M.: Tableaux for quantified hybrid logic. In: Egly, U., Ferm\u00fcller, C. (eds.) TABLEAUX 2002. LNCS (LNAI), vol.\u00a02381, pp. 38\u201352. Springer, Heidelberg (2002)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)","DOI":"10.1017\/CBO9781107050884"},{"issue":"1","key":"11_CR9","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/jigpal\/7.1.27","volume":"7","author":"P. Blackburn","year":"1999","unstructured":"Blackburn, P., Tzakova, M.: Hybrid Languages and Temporal Logic. Logic Journal of the IGPL\u00a07(1), 27\u201354 (1999)","journal-title":"Logic Journal of the IGPL"},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1093\/logcom\/exm014","volume":"17","author":"T. Bolander","year":"2007","unstructured":"Bolander, T., Blackburn, P.: Termination for Hybrid Tableaus. Journal of Logic and Computation\u00a017(3), 517\u2013554 (2007)","journal-title":"Journal of Logic and Computation"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1093\/logcom\/exl008","volume":"16","author":"T. Bolander","year":"2006","unstructured":"Bolander, T., Bra\u00fcner, T.: Tableau-Based Decision Procedures for Hybrid Logic. Journal of Logic and Computation\u00a016, 737\u2013763 (2006)","journal-title":"Journal of Logic and Computation"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1026187215321","volume":"13","author":"T. Bra\u00fcner","year":"2004","unstructured":"Bra\u00fcner, T.: Two natural deduction systems for hybrid logic: A comparison. Journal of Logic, Language and Information\u00a013, 1\u201323 (2004)","journal-title":"Journal of Logic, Language and Information"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Bra\u00fcner, T.: Hybrid Logic and its Proof-Theory. Applied Logic Series, vol.\u00a037. Springer (2011)","DOI":"10.1007\/978-94-007-0002-4"},{"key":"11_CR14","unstructured":"Bra\u00fcner, T.: Hybrid-logical Reasoning in False-Belief Tasks. In: Schipper, B. (ed.) Proceedings of Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 186\u2013195 (2013), \n                  \n                    http:\/\/tark.org"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Bra\u00fcner, T., Ghilardi, S.: First-order modal logic. In: Handbook of Modal Logic, pp. 549\u2013620. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80012-7"},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1093\/logcom\/exi071","volume":"16","author":"R. Chadha","year":"2006","unstructured":"Chadha, R., Macedonio, D., Sassone, V.: A hybrid intuitionistic logic: Semantics and decidability. Journal of Logic and Computation\u00a016, 27\u201359 (2006)","journal-title":"Journal of Logic and Computation"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Fitting, M., Mendelsohn, R.: First-Order Modal Logic. Springer (1998)","DOI":"10.1007\/978-94-011-5292-1"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"1447","DOI":"10.1016\/j.ic.2011.10.002","volume":"209","author":"D. Galmiche","year":"2011","unstructured":"Galmiche, D., Salhi, Y.: Sequent calculi and decidability for intuitionistic hybrid logic. Information and Computation\u00a0209, 1447\u20131463 (2011)","journal-title":"Information and Computation"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"G\u00f6tzmann, D., Kaminski, M., Smolka, G.: Spartacus: A Tableau Prover for Hybrid Logic. Electr. Notes Theor. Comput. Sci.\u00a0262, 127\u2013139 (2010)","DOI":"10.1016\/j.entcs.2010.04.010"},{"key":"11_CR20","unstructured":"Hoffmann, G., Areces, C.: HTab: A Terminating Tableaux System for Hybrid Logic. In: Proceedings of Methods for Modalities, vol.\u00a05 (November 2007)"},{"key":"11_CR21","unstructured":"Hoffmann, G.: T\u00e2ches de raisonnement en logiques hybrides. Ph.D. thesis, Universit\u00e9 Henri Poincar\u00e9 - Nancy I (December 2010), \n                  \n                    http:\/\/tel.archives-ouvertes.fr\/tel-00541664"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-540-24725-8_16","volume-title":"Programming Languages and Systems","author":"L.-m. Jia","year":"2004","unstructured":"Jia, L.-m., Walker, D.W.: Modal proofs as distributed programs (extended abstract). In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 219\u2013233. Springer, Heidelberg (2004)"},{"key":"11_CR23","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s10849-006-9023-0","volume":"16","author":"H. Kushida","year":"2007","unstructured":"Kushida, H., Okada, M.: A Proof-Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information\u00a016, 35\u201361 (2007)","journal-title":"Journal of Logic, Language and Information"},{"key":"11_CR24","doi-asserted-by":"crossref","unstructured":"Seligman, J.: The Logic of Correct Description. In: de Rijke, M. (ed.) Advances in Intensional Logic. Applied Logic Series, vol.\u00a07, pp. 107\u2013135. Kluwer (1997)","DOI":"10.1007\/978-94-015-8879-9_5"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Seligman, J.: Internalisation: The Case of Hybrid Logics. Journal of Logic and Computation\u00a011, 671\u2013689 (2001); special Issue on Hybrid Logics. Areces, C., Blackburn, P. (eds.)","DOI":"10.1093\/logcom\/11.5.671"},{"key":"11_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/3-540-48754-9_24","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"M. Tzakova","year":"1999","unstructured":"Tzakova, M.: Tableau Calculi for Hybrid Logics. In: Murray, N.V. (ed.) TABLEAUX 1999. LNCS (LNAI), vol.\u00a01617, pp. 278\u2013292. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45221-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T04:26:56Z","timestamp":1558758416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45221-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452208","9783642452215"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45221-5_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}