{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,6]],"date-time":"2026-04-06T15:32:44Z","timestamp":1775489564584,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2022,5,25]],"date-time":"2022-05-25T00:00:00Z","timestamp":1653436800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,5,25]],"date-time":"2022-05-25T00:00:00Z","timestamp":1653436800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100012456","name":"chinese national funding of social sciences","doi-asserted-by":"publisher","award":["17CZX048"],"award-info":[{"award-number":["17CZX048"]}],"id":[{"id":"10.13039\/501100012456","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2022,10]]},"DOI":"10.1007\/s11225-022-10003-8","type":"journal-article","created":{"date-parts":[[2022,5,25]],"date-time":"2022-05-25T18:03:47Z","timestamp":1653501827000},"page":"1255-1289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics"],"prefix":"10.1007","volume":"110","author":[{"given":"Zhe","family":"Lin","sequence":"first","affiliation":[]},{"given":"Minghui","family":"Ma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,5,25]]},"reference":[{"key":"10003_CR1","unstructured":"Balbes, R., and P. Dwinger, Distributive Lattices, University of Missouri Press, 1974."},{"key":"10003_CR2","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/BF00284976","volume":"11","author":"ND Belnap","year":"1982","unstructured":"Belnap, N. D., Display logic, Journal of Philosophical Logic 11: 375\u2013417, 1982.","journal-title":"Journal of Philosophical Logic"},{"key":"10003_CR3","unstructured":"Bezhanishvili, G., An Algebraic Approach to Intuitionistic Modal Logics over MIPC, Ph.D. dissertation, Tokyo Institute of Technology, 1998."},{"key":"10003_CR4","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1023\/A:1010577628486","volume":"67","author":"G Bezhanishvili","year":"2001","unstructured":"Bezhanishvili, G., Glivenko type theorems for intuitionistic modal logics, Studia Logica 67: 89\u2013109, 2001.","journal-title":"Studia Logica"},{"key":"10003_CR5","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1005291931660","volume":"65","author":"G Bierman","year":"2000","unstructured":"Bierman, G., and V. de Paiva, On an intuitionistic modal logic, Studia Logica 65: 383\u2013416, 2000.","journal-title":"Studia Logica"},{"key":"10003_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn,\u00a0P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge MA: Cambridge University Press, 2001."},{"key":"10003_CR7","doi-asserted-by":"crossref","unstructured":"Boc\u017ei\u0107, M., and K. Dos\u0306en, Models for normal intuitionistic modal logics, Studia Logica 43(3): 217\u2013245, 1984.","DOI":"10.1007\/BF02429840"},{"key":"10003_CR8","doi-asserted-by":"publisher","first-page":"609","DOI":"10.2307\/2269696","volume":"31","author":"RA Bull","year":"1966","unstructured":"Bull, R. A., MIPC as the formalisation of an intuitionist concept of modality, The Journal of Symbolic Logic 31: 609\u2013616, 1966.","journal-title":"The Journal of Symbolic Logic"},{"key":"10003_CR9","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-94-009-6259-0_2","volume-title":"Handbook of Philosophical Logic","author":"JP Burgess","year":"1984","unstructured":"Burgess, J. P., Basic tense logic, in: D. Gabbay, and F. Guenthner, (eds.), Handbook of Philosophical Logic Vol. II, Springer, Dordrecht, 1984, pp. 89\u2013133."},{"issue":"19","key":"10003_CR10","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1093\/jigpal\/jzp094","volume":"3","author":"W Buszkowski","year":"2011","unstructured":"Buszkowski, W., Interpolation and FEP for logics of residuated algebras, Logic Journal of the IGPL 3(19): 437\u2013454, 2011.","journal-title":"Logic Journal of the IGPL"},{"key":"10003_CR11","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1093\/jigpal\/jzp057","volume":"18","author":"W Dzik","year":"2010","unstructured":"Dzik, W., J. J\u00e4rvinen, and M. Kondo, Intuitionistic propositional logic with Galois connections, Logic Journal of the IGPL 18: 837\u2013858, 2010.","journal-title":"Logic Journal of the IGPL"},{"issue":"6","key":"10003_CR12","doi-asserted-by":"publisher","first-page":"992","DOI":"10.1093\/jigpal\/jzu024","volume":"22","author":"W Dzik","year":"2014","unstructured":"Dzik, W., J. J\u00e4vinen, and M. Kondo, Characterizing intermediate tense logics in terms of Galois connections, Logic Journal of the IGPL 22(6): 992\u20131018, 2014.","journal-title":"Logic Journal of the IGPL"},{"issue":"1","key":"10003_CR13","doi-asserted-by":"publisher","first-page":"166","DOI":"10.2307\/2273953","volume":"51","author":"W Ewald","year":"1986","unstructured":"Ewald, W., Intuitionistic tense and modal logic, The Journal of Symbolic Logic 51(1): 166\u2013179, 1986.","journal-title":"The Journal of Symbolic Logic"},{"key":"10003_CR14","doi-asserted-by":"crossref","unstructured":"Ferreira, G., and O. Paulo, On the relation between various negative translations, in U. Berger, H. Diener, P. Schuster, and M. Seisenberger (eds.), Logic, Construction, Computation, De Gruyter, 2012, pp. 227\u2013257.","DOI":"10.1515\/9783110324921.227"},{"issue":"10","key":"10003_CR15","doi-asserted-by":"publisher","first-page":"1873","DOI":"10.1007\/s00500-014-1317-6","volume":"18","author":"A Figallo","year":"2014","unstructured":"Figallo, A., and G. Pelaitay, An algebraic axiomatization of the Ewald\u2019s intuitionistic tense logic, Soft Computing 18(10): 1873\u20131883, 2014.","journal-title":"Soft Computing"},{"key":"10003_CR16","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF02121259","volume":"36","author":"G Fischer Servi","year":"1977","unstructured":"Fischer Servi, G., On modal logic with an intuitionistic base, Studia Logica 36: 141\u2013149, 1977.","journal-title":"Studia Logica"},{"key":"10003_CR17","first-page":"179","volume":"42","author":"G Fischer Servi","year":"1984","unstructured":"Fischer Servi, G., Axiomatizations for some intuitionistic modal logics, Rendiconti del Seminario Matematico Universit e Politecnico di Torino 42: 179\u2013194, 1984.","journal-title":"Rendiconti del Seminario Matematico Universit e Politecnico di Torino"},{"key":"10003_CR18","doi-asserted-by":"publisher","first-page":"1353","DOI":"10.2178\/jsl\/1164060460","volume":"71","author":"N Galatos","year":"2006","unstructured":"Galatos, N., and H. Ono, Glivenko theorems for substructural logics over FL, The Journal of Symbolic Logic 71: 1353\u20131384, 2006.","journal-title":"The Journal of Symbolic Logic"},{"issue":"5","key":"10003_CR19","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1093\/logcom\/exv039","volume":"28","author":"D Galmiche","year":"2018","unstructured":"Galmiche, D., and Y. Salhi, Tree-sequent calculi and decision procedures for intuitionistic modal logics, Journal of Logic and Computation 28(5): 967\u2013989, 2018.","journal-title":"Journal of Logic and Computation"},{"key":"10003_CR20","first-page":"183","volume":"15","author":"V Glivenko","year":"1929","unstructured":"Glivenko, V., Sur quelques points de la logique de M. Brouwer, Bulletin de la Classe des Sciences de l\u2019Acad\u00e9mie Royale de Belgique 15: 183\u2013188, 1929.","journal-title":"Brouwer, Bulletin de la Classe des Sciences de l\u2019Acad\u00e9mie Royale de Belgique"},{"key":"10003_CR21","unstructured":"Gor\u00e9, R., L. Postniece, and T. Alwen, Cut-elimination and proof search for bi-Intuitionistic tense logic, in L. Beklemishev, V. Goranko, and V. Shehtman (eds.), Advances in Modal Logic, vol. 8, CSLI Publications, 2010, pp. 156\u2013177."},{"issue":"7","key":"10003_CR22","doi-asserted-by":"publisher","first-page":"1701","DOI":"10.1093\/logcom\/exy026","volume":"28","author":"R Iemhoff","year":"2018","unstructured":"Iemhoff, R., Terminating sequent calculi for two intuitionistic modal logics, Journal of Logic and Computation 28(7): 1701\u20131712, 2018.","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"10003_CR23","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1017\/jsl.2019.22","volume":"84","author":"S Kikot","year":"2019","unstructured":"Kikot, S., A. Kurucz, Y. Tanaka, F. Wolter, and M. Zakharyaschev, Kripke completeness of strictly positive modal logics over meet-semilattices with operators, The Journal of Symbolic Logic 84(2): 533\u2013588, 2019.","journal-title":"The Journal of Symbolic Logic"},{"key":"10003_CR24","doi-asserted-by":"crossref","unstructured":"Kuznets, R., and L. Strassburger, Maehara-style modal nested calculi, Archive for Mathematical Logic 58: 359\u2013385, 2019.","DOI":"10.1007\/s00153-018-0636-1"},{"key":"10003_CR25","doi-asserted-by":"crossref","unstructured":"Lin, Z., and M. Ma, Gentzen sequent calculi for some intuitionistic modal logics, Logic Journal of the IGPL 4(27): 596\u2013623, 2019.","DOI":"10.1093\/jigpal\/jzz020"},{"key":"10003_CR26","unstructured":"Litak, T., M. Polzer, and U. Rabenstein, Negative translations and normal modality, in D. Miller (ed.), Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik, Germany, 2017, pp. 1\u201318."},{"key":"10003_CR27","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/BF00159344","volume":"5","author":"M Moortgat","year":"1996","unstructured":"Moortgat, M., Multimodal linguistic inference, Journal of Logic, Language and Information 5: 349\u2013385, 1996.","journal-title":"Journal of Logic, Language and Information"},{"key":"10003_CR28","unstructured":"Murthy, C., Extracting Constructive Content from Classical Proofs, Ph.D. thesis, Cornell University, 1990."},{"key":"10003_CR29","doi-asserted-by":"publisher","first-page":"687","DOI":"10.2977\/prims\/1195189604","volume":"13","author":"H Ono","year":"1977","unstructured":"Ono, H., On some intuitionistic modal logics, Publications of Research Institute for Mathematical Science 13: 687\u2013722, 1977.","journal-title":"Publications of Research Institute for Mathematical Science"},{"key":"10003_CR30","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1016\/j.apal.2009.05.006","volume":"161","author":"H Ono","year":"2009","unstructured":"Ono, H., Glivenko theorems revisited, Annals of Pure and Applied Logic 161: 246\u2013250, 2009.","journal-title":"Annals of Pure and Applied Logic"},{"key":"10003_CR31","doi-asserted-by":"crossref","unstructured":"Pearce, D., A new logical characterisation of stable models and answer sets, in J. Dix, L. M. Pereira, T. C. Przymusinski (eds.), Non-Monotonic Extensions of Logic Programming, NMELP 1996, LNCS 1216, Springer, 1997, pp. 57\u201370.","DOI":"10.1007\/BFb0023801"},{"key":"10003_CR32","unstructured":"Simpson, A. K., The proof theory and semantics of intuitionistic modal logic, Ph.D. thesis, University of Edinburgh, UK, 1994."},{"key":"10003_CR33","doi-asserted-by":"crossref","unstructured":"Stra\u00dfburger, L., Cut elimination in nested sequents for intuitionistic modal logics, in F. Pfenning, (ed.), Foundations of Software Science and Computation Structures, FoSSaCS 2013, LNCS 7794, Springer, 2013.","DOI":"10.1007\/978-3-642-37075-5_14"},{"key":"10003_CR34","doi-asserted-by":"crossref","unstructured":"Wolter, F., and M. Zakharyaschev, Intuitionistic modal logic, in A. Cantini, E. Casari, and P. Minari, (eds.), Logic and Foundations of Mathematics, Springer, 1999, pp. 227\u2013238.","DOI":"10.1007\/978-94-017-2109-7_17"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10003-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-022-10003-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-022-10003-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,28]],"date-time":"2022-09-28T19:08:41Z","timestamp":1664392121000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-022-10003-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,25]]},"references-count":34,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["10003"],"URL":"https:\/\/doi.org\/10.1007\/s11225-022-10003-8","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,5,25]]},"assertion":[{"value":"27 July 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 May 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}