{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T06:49:26Z","timestamp":1778914166331,"version":"3.51.4"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2006,7,29]],"date-time":"2006-07-29T00:00:00Z","timestamp":1154131200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JoLLI"],"published-print":{"date-parts":[[2006,10]]},"DOI":"10.1007\/s10849-006-9013-2","type":"journal-article","created":{"date-parts":[[2006,7,28]],"date-time":"2006-07-28T08:04:18Z","timestamp":1154073858000},"page":"179-194","source":"Crossref","is-referenced-by-count":12,"title":["Axioms for classical, intuitionistic, and paraconsistent hybrid logic"],"prefix":"10.1007","volume":"15","author":[{"given":"Torben","family":"Bra\u00fcner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,7,29]]},"reference":[{"key":"9013_CR1","doi-asserted-by":"crossref","first-page":"977","DOI":"10.2307\/2695090","volume":"66","author":"C. Areces","year":"2001","unstructured":"Areces, C., Blackburn, P.,& Marx, M. (2001). Hybrid logics: characterization, interpolation and complexity. Journal of Symbolic Logic, 66, 977\u20131010.","journal-title":"Journal of Symbolic Logic"},{"key":"9013_CR2","doi-asserted-by":"crossref","unstructured":"Bencivenga, E. (2002). Free logics. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 5, pp. 147\u2013196). Kluwer Academic Publishers.","DOI":"10.1007\/978-94-017-0458-8_3"},{"key":"9013_CR3","first-page":"56","volume":"14","author":"P. Blackburn","year":"1993","unstructured":"Blackburn, P. (1993). Nominal tense logic. Notre Dame Journal of Formal Logic, xity. Journal of Symbolic Logic, 66, 977\u20131010.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9013_CR4","doi-asserted-by":"crossref","unstructured":"Bencivenga, E. (2002). Free logics. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (2nd ed., Vol. 5, pp. 147\u2013196). Kluwer Academic Publishers.","DOI":"10.1007\/978-94-017-0458-8_3"},{"key":"9013_CR5","first-page":"56","volume":"14","author":"P. Blackburn","year":"1993","unstructured":"Blackburn, P. (1993). Nominal tense logic. Notre Dame Journal of Formal Logic, 14, 56\u201383.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9013_CR6","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). Internalizing labelled deduction. Journal of Logic and Computation, 10, 137\u2013168.","journal-title":"Journal of Logic and Computation"},{"key":"9013_CR7","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001) Modal logic, vol. 53 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.","DOI":"10.1017\/CBO9781107050884"},{"key":"9013_CR8","unstructured":"Blackburn, P., & ten Cate, B. (2004). Pure extensions, proof rules, and hybrid axiomatics. In R. Schmidt, I. Pratt-Hartmann, M. Reynolds, & H. Wansing (Eds.), Preliminary Conference Proceedings of Advances in Modal Logic 2004. Department of Computer Science, University of Manchester. Technical Report Series UMCS-04-9-1."},{"key":"9013_CR9","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/jigpal\/7.1.27","volume":"7","author":"P. Blackburn","year":"1999","unstructured":"Blackburn, P., & Tzakova, M. (1999). Hybrid languages and temporal logic. Logic Journal of the IGPL, 7, 27\u201354.","journal-title":"Logic Journal of the IGPL"},{"key":"9013_CR10","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1093\/logcom\/14.3.329","volume":"14","author":"T. Bra\u00fcner","year":"2004a","unstructured":"Bra\u00fcner, T. (2004a). Natural deduction for hybrid logic. Journal of Logic and Computation, 14, 329\u2013353. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 2.","journal-title":"Journal of Logic and Computation"},{"key":"9013_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1026187215321","volume":"13","author":"T. Bra\u00fcner","year":"2004b","unstructured":"Bra\u00fcner, T. (2004b). Two natural deduction systems for hybrid logic: a comparison. Journal of Logic, Language and Information, 13, 1\u201323.","journal-title":"Journal of Logic, Language and Information"},{"key":"9013_CR12","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s10849-005-3927-y","volume":"14","author":"T. Bra\u00fcner","year":"2005","unstructured":"Bra\u00fcner, T. (2005). Natural deduction for first-order hybrid logic. Journal of Logic, Language and Information, 14, 173\u2013198. Revised and extended version of paper in Workshop Proceedings of Fourth Workshop on Hybrid Logics.","journal-title":"Journal of Logic, Language and Information"},{"key":"9013_CR13","unstructured":"Bra\u00fcner, T., & de Paiva, V. (2005). Intuitionistic hybrid logic. Journal of Applied Logic. To appear. Revised and extended version of paper in Workshop Proceedings of Methods for Modalities 3."},{"key":"9013_CR14","doi-asserted-by":"crossref","first-page":"166","DOI":"10.2307\/2273953","volume":"51","author":"W. B. Ewald","year":"1986","unstructured":"Ewald, W. B. (1986). Intuitionistic tense and modal logic.Journal of Symbolic Logic, 51, 166\u2013179.","journal-title":"Journal of Symbolic Logic"},{"key":"9013_CR15","doi-asserted-by":"crossref","unstructured":"Seligman, J. (1997). The logic of correct description. In M. de Rijke (Ed.), Advances in Intensional Logic (pp. 107\u2013135). Applied Logic Series. Kluwer.","DOI":"10.1007\/978-94-015-8879-9_5"},{"key":"9013_CR16","unstructured":"Simpson, A. (1994). The proof theory and semantics of intuitionistic modal logic. Ph.D. thesis, University of Edinburgh."},{"key":"9013_CR17","unstructured":"Troelstra, A., & van Dalen, D. (1988). Constructivism in Mathematics: An Introduction. North-Holland."},{"key":"9013_CR18","volume-title":"Topology via Logic, Vol. 5 of Cambridge Tracts in Theoretical Computer Science","author":"S. Vickers","year":"1988","unstructured":"Vickers, S. (1988). Topology via Logic, Vol. 5 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press."},{"key":"9013_CR19","unstructured":"Wansing, H., & Odintsov, S. (2003). Inconsistency-tolerant description logic. Motivation and basic systems. In V. Hendricks & J. Malinowski (Eds.), 50 Years of Studia Logica, Vol. 21 of Trends in Logic Series (pp. 301\u2013335). Kluwer."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-006-9013-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-006-9013-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-006-9013-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:31:01Z","timestamp":1559269861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-006-9013-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,29]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,10]]}},"alternative-id":["9013"],"URL":"https:\/\/doi.org\/10.1007\/s10849-006-9013-2","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,7,29]]}}}