{"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":1778914166571,"version":"3.51.4"},"reference-count":28,"publisher":"Oxford University Press (OUP)","issue":"5","license":[{"start":{"date-parts":[[2017,1,17]],"date-time":"2017-01-17T00:00:00Z","timestamp":1484611200000},"content-version":"vor","delay-in-days":582,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"DOI":"10.13039\/100008395","name":"Danish Social Science Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100008395","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7,20]]},"DOI":"10.1093\/logcom\/exv040","type":"journal-article","created":{"date-parts":[[2015,6,17]],"date-time":"2015-06-17T00:24:50Z","timestamp":1434500690000},"page":"883-908","source":"Crossref","is-referenced-by-count":3,"title":["Many-valued hybrid logic"],"prefix":"10.1093","volume":"28","author":[{"given":"Jens Ulrik","family":"Hansen","sequence":"first","affiliation":[{"name":"Independent Researcher"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Bolander","sequence":"additional","affiliation":[{"name":"DTU Compute, Technical University of Denmark, Copenhagen, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torben","family":"Bra\u00fcner","sequence":"additional","affiliation":[{"name":"Programming, Logic and Intelligent Systems Research Group, Roskilde University, Roskilde, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2015,6,15]]},"reference":[{"key":"key\n\t\t\t\t20180719090059_B1","first-page":"38","article-title":"Tableaux for quantified hybrid logic","author":"Blackburn","year":"2002","journal-title":"Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002, Vol. 2381 of Lecture Notes in Artificial Intelligence"},{"key":"key\n\t\t\t\t20180719090059_B2","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1093\/logcom\/10.1.137","article-title":"Internalizing labelled deduction","volume":"10","author":"Blackburn","year":"2000","journal-title":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20180719090059_B3","first-page":"157","article-title":"Terminating tableau calculi for hybrid logics extending K","volume-title":"Workshop Proceedings of Methods for Modalities 5","author":"Bolander","year":"2007"},{"key":"key\n\t\t\t\t20180719090059_B4","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1093\/logcom\/exm014","article-title":"Termination for hybrid tableaus","volume":"17","author":"Bolander","year":"2007","journal-title":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20180719090059_B5","doi-asserted-by":"crossref","first-page":"737","DOI":"10.1093\/logcom\/exl008","article-title":"Tableau-based decision procedures for hybrid logic","volume":"16","author":"Bolander","year":"2006","journal-title":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20180719090059_B6","doi-asserted-by":"crossref","first-page":"521","DOI":"10.3166\/jancl.17.521-543","article-title":"Why does the proof-theory of hybrid logic work so well?","volume":"17","author":"Bra\u00fcner","year":"2007","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"key\n\t\t\t\t20180719090059_B7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0002-4","volume-title":"Hybrid Logic and Its Proof-Theory","author":"Bra\u00fcner","year":"2011"},{"key":"key\n\t\t\t\t20180719090059_B8","article-title":"Towards constructive hybrid logic (extended abstract)","volume-title":"Workshop Proceedings of Methods for Modalities 3","author":"Bra\u00fcner","year":"2003"},{"key":"key\n\t\t\t\t20180719090059_B9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/j.jal.2005.06.009","article-title":"Intuitionistic hybrid logic","volume":"4","author":"Bra\u00fcner","year":"2006","journal-title":"Journal of Applied Logic"},{"key":"key\n\t\t\t\t20180719090059_B10","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1093\/logcom\/exi071","article-title":"A hybrid intuitionistic logic: semantics and decidability","volume":"16","author":"Chadha","year":"2006","journal-title":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20180719090059_B11","article-title":"Notions of bisimulation for heyting-valued modal languages","author":"Eleftheriou","year":"2010","journal-title":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20180719090059_B12","doi-asserted-by":"crossref","first-page":"166","DOI":"10.2307\/2273953","article-title":"Intuitionistic tense and modal logic","volume":"51","author":"Ewald","year":"1986","journal-title":"Journal of Symbolic Logic"},{"key":"key\n\t\t\t\t20180719090059_B13","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-2794-5","volume-title":"Proof Methods for Modal and Intuitionistic Logics","author":"Fitting","year":"1983"},{"key":"key\n\t\t\t\t20180719090059_B14","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","article-title":"Many-valued modal logics","volume":"15","author":"Fitting","year":"1992","journal-title":"Fundamenta Informaticae"},{"key":"key\n\t\t\t\t20180719090059_B15","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","article-title":"Many-valued modal logics II","volume":"17","author":"Fitting","year":"1992","journal-title":"Fundamenta Informaticae"},{"key":"key\n\t\t\t\t20180719090059_B16","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF01053032","article-title":"Tableaus for many-valued modal logic","volume":"55","author":"Fitting","year":"1995","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20180719090059_B17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/S1570-2464(07)80005-X","article-title":"Modal proof theory","volume-title":"Handbook of Modal Logic","author":"Fitting","year":"2007"},{"key":"key\n\t\t\t\t20180719090059_B18","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/s11225-009-9178-1","article-title":"How true it is = who says it's true","volume":"91","author":"Fitting","year":"2009","journal-title":"Studia Logica"},{"key":"key\n\t\t\t\t20180719090059_B19","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1016\/j.jal.2010.08.008","article-title":"A family of G\u00f6del hybrid logics","volume":"8","author":"Galmiche","year":"2010","journal-title":"Journal of Applied Logic"},{"key":"key\n\t\t\t\t20180719090059_B20","doi-asserted-by":"crossref","first-page":"1447","DOI":"10.1016\/j.ic.2011.10.002","article-title":"Sequent calculi and decidability for intuitionistic hybrid logic","volume":"209","author":"Galmiche","year":"2011","journal-title":"Information and Computation"},{"key":"key\n\t\t\t\t20180719090059_B21","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/978-3-211-85432-7_4","article-title":"Logical approaches to fuzzy similarity-based reasoning: an overview","volume-title":"Preferences and Similarities","author":"Godo","year":"2008"},{"key":"key\n\t\t\t\t20180719090059_B22","first-page":"32","article-title":"A tableau system for a first-order hybrid logic","volume-title":"Proceedings of the International Workshop on Hybrid Logic (HyLo 2007)","author":"Hansen","year":"2007"},{"key":"key\n\t\t\t\t20180719090059_B23","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.entcs.2011.06.011","article-title":"A hybrid public announcement logic with distributed knowledge","volume":"273","author":"Hansen","year":"2011","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"key\n\t\t\t\t20180719090059_B24"},{"key":"key\n\t\t\t\t20180719090059_B25","first-page":"111","article-title":"Many-valued hybrid logic","volume-title":"Advances in Modal Logic","author":"Hansen","year":"2008"},{"key":"key\n\t\t\t\t20180719090059_B26"},{"key":"key\n\t\t\t\t20180719090059_B27","first-page":"65","article-title":"Relations between intuitionistic modal logics and intermediate predicate logics","volume":"22","author":"Ono","year":"1988","journal-title":"Reports on Mathematical Logic"},{"key":"key\n\t\t\t\t20180719090059_B28","volume-title":"Constructivism in Mathematics","author":"Troelstra","year":"1988"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/28\/5\/883\/25181136\/exv040.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,13]],"date-time":"2022-05-13T16:32:52Z","timestamp":1652459572000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/28\/5\/883\/2917818"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,15]]},"references-count":28,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2015,6,15]]},"published-print":{"date-parts":[[2018,7,20]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv040","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2018,7]]},"published":{"date-parts":[[2015,6,15]]}}}