{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T20:44:03Z","timestamp":1783111443273,"version":"3.54.6"},"reference-count":54,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T00:00:00Z","timestamp":1778457600000},"content-version":"vor","delay-in-days":12,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,4,29]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>We introduce a monotone modal analogue of the intuitionistic (normal) modal logic $\\textsf{IK}$ using a translation into a suitable (intuitionistic) first-order logic. We axiomatize the logic and give a semantics by means of intuitionistic neighbourhood models, which contain neighbourhoods whose value can change when moving along the intuitionistic accessibility relation. We compare the resulting logic with other intuitionistic monotone modal logics and show how it can be embedded into a multimodal version of $\\textsf{IK}$.<\/jats:p>","DOI":"10.1093\/logcom\/exag017","type":"journal-article","created":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T11:39:40Z","timestamp":1774957180000},"source":"Crossref","is-referenced-by-count":1,"title":["Intuitionistic monotone modal logic via translation"],"prefix":"10.1093","volume":"36","author":[{"given":"Jim","family":"de Groot","sequence":"first","affiliation":[{"name":"University of Bern, Mathematical Institute , Sidlerstrasse 5, 3012 Bern"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2026,5,11]]},"reference":[{"key":"2026051115513113400_ref1","first-page":"671","article-title":"Which semantics for neighbourhood semantics?","volume-title":"Proceedings IJCAI 2009","author":"Areces","year":"2009"},{"key":"2026051115513113400_ref2","article-title":"Extended Curry\u2013Howard correspondence for a basic constructive modal logic","author":"Bellin","year":"2001","journal-title":"Methods for Modalities II"},{"key":"2026051115513113400_ref3","volume-title":"Intuitionistic Logic","author":"Bezhanishvili","year":"2005"},{"key":"2026051115513113400_ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"2026051115513113400_ref5","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF02429840","article-title":"Models for normal intuitionistic modal logics","volume":"43","author":"Bo\u017ei\u0107","year":"1984","journal-title":"Studia Logica"},{"key":"2026051115513113400_ref6","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1305\/ndjfl\/1093958154","article-title":"A modal extension of intuitionist logic","volume":"6","author":"Bull","year":"1965","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"2026051115513113400_ref7","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0049-237X(08)71680-X","article-title":"Some modal calculi based on IC","volume-title":"Formal Systems and Recursive Functions","author":"Bull","year":"1965"},{"key":"2026051115513113400_ref8","doi-asserted-by":"publisher","first-page":"609","DOI":"10.2307\/2269696","article-title":"MIPC as the formalisation of an intuitionist concept of modality","volume":"31","author":"Bull","year":"1966","journal-title":"The Journal of Symbolic Logic"},{"key":"2026051115513113400_ref9","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.apal.2008.11.001","article-title":"Modal languages for topology: expressivity and definability","volume":"159","author":"ten Cate","year":"2009","journal-title":"Annals of Pure and Applied Logic"},{"key":"2026051115513113400_ref10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198537793.001.0001","volume-title":"Modal Logic","author":"Chagrov","year":"1997"},{"key":"2026051115513113400_ref11","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/BF00693270","article-title":"Basic conditional logic","volume":"4","author":"Chellas","year":"1975","journal-title":"Journal of Philosophical Logic"},{"key":"2026051115513113400_ref12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"Chellas","year":"1980"},{"key":"2026051115513113400_ref13","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1007\/s10992-019-09538-4","article-title":"Intuitionistic conditional logics","volume":"49","author":"Ciardelli","year":"2019","journal-title":"Journal of Philosophical Logic"},{"key":"2026051115513113400_ref14","first-page":"281","article-title":"Wijesekera-style constructive modal logics","volume-title":"Proc. AiML 2022","author":"Dalmonte","year":"2022"},{"key":"2026051115513113400_ref15","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-032-06085-3_19","article-title":"A proof-theoretic view of basic intuitionistic conditional logic","volume-title":"Proceedings TABLEAUX 2025","author":"Dalmonte","year":"2026"},{"key":"2026051115513113400_ref16","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1007\/s10992-019-09539-3","article-title":"Intuitionistic non-normal modal logics: a general framework","volume":"49","author":"Dalmonte","year":"2020","journal-title":"Journal of Philosophical Logic"},{"key":"2026051115513113400_ref17","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/978-3-030-86059-2_23","article-title":"Terminating calculi and countermodels for constructive modal logics","volume-title":"Proc. TABLEAUX 2021","author":"Dalmonte","year":"2021"},{"key":"2026051115513113400_ref18","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-031-43513-3_16","article-title":"On intuitionistic diamonds (and lack thereof)","volume-title":"Proceedings TABLEAUX 2023","author":"Das","year":"2023"},{"key":"2026051115513113400_ref19","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.apal.2009.07.009","article-title":"On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations","volume":"161","author":"Davoren","year":"2009","journal-title":"Annals of Pure and Applied Logic"},{"key":"2026051115513113400_ref20","doi-asserted-by":"publisher","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":"2026051115513113400_ref21","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/BF02121259","article-title":"On modal logic with an intuitionist base","volume":"36","author":"Fischer Servi","year":"1977","journal-title":"Studia Logica"},{"key":"2026051115513113400_ref22","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-94-009-8937-5_5","article-title":"Semantics for a class of intuitionistic modal calculi","volume-title":"Italian Studies in the Philosophy of Science","author":"Fischer Servi","year":"1980"},{"key":"2026051115513113400_ref23","first-page":"113","article-title":"Intuitionistic modal logic with quantifiers","volume":"7","author":"Fitch","year":"1948","journal-title":"Portugali\u00e6Mathematica"},{"key":"2026051115513113400_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0097006","volume-title":"Topological Model Theory","author":"Flum","year":"1980"},{"key":"2026051115513113400_ref25","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/978-94-017-2798-3_15","article-title":"From classical to normal modal logics","volume-title":"Proof Theory of Modal Logic, Volume 2 of Applied Logic Series","author":"Gasquet","year":"1996"},{"key":"2026051115513113400_ref26","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1002\/malq.19810273104","article-title":"Grothendieck topology as geometric modality","volume":"27","author":"Goldblatt","year":"1981","journal-title":"Mathematical Logic Quarterly"},{"key":"2026051115513113400_ref27","volume-title":"Mathematics of Modality","author":"Goldblatt","year":"1993"},{"key":"2026051115513113400_ref28","first-page":"269","article-title":"Bi-intuitionistic logics: a new instance of an old problem","volume-title":"Proc. AIML 2020","author":"Gor\u00e9","year":"2020"},{"key":"2026051115513113400_ref29","volume-title":"Fischer Servi\u2019s Intuitionistic Modal Logic and its Extensions","author":"Grefe","year":"1999"},{"key":"2026051115513113400_ref30","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1007\/s11225-021-09975-w","article-title":"Hennessy\u2013Milner and van Benthem for instantial neighbourhood logic","volume":"110","author":"de Groot","year":"2022","journal-title":"Studia Logica"},{"key":"2026051115513113400_ref31","first-page":"467","article-title":"Goldblatt\u2013Thomason theorems for modal intuitionistic logics","volume-title":"Proceedings of the 14th International Conference on Advances in Modal Logic","author":"de Groot","year":"2022"},{"key":"2026051115513113400_ref32","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1145\/3373718.3394807","article-title":"Modal intuitionistic logics as dialgebraic logics","volume-title":"Proceedings of the 35th Annual ACM\/IEEE Symposium on Logic in Computer Science","author":"de Groot","year":"2020"},{"key":"2026051115513113400_ref33","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1109\/LICS65433.2025.00020","article-title":"Semantical analysis of intuitionistic modal logics between CK and IK","volume-title":"2025 40th Annual ACM\/IEEE Symposium on Logic in Computer Science","author":"de Groot","year":"2025"},{"key":"2026051115513113400_ref34","volume-title":"Monotonic Modal Logics","author":"Hansen","year":"2003"},{"key":"2026051115513113400_ref35","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.entcs.2004.02.028","article-title":"A coalgebraic perspective on monotone modal logic","volume":"106","author":"Hansen","year":"2004","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2026051115513113400_ref36","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-5(2:2)2009","article-title":"Neighbourhood structures: bisimilarity and basic model theory","volume":"5","author":"Hansen","year":"2009","journal-title":"Logical Methods in Computer Science"},{"key":"2026051115513113400_ref37","doi-asserted-by":"publisher","first-page":"99","DOI":"10.2307\/2586754","article-title":"Normal monomodal logics can simulate all others","volume":"64","author":"Kracht","year":"1999","journal-title":"Journal of Symbolic Logic"},{"key":"2026051115513113400_ref38","volume-title":"Counterfactuals","author":"Lewis","year":"1973"},{"key":"2026051115513113400_ref39","article-title":"Constructive CK for contexts","volume-title":"Proceedings of the workshop on Context Representation and Reasoning (CRR \u201905)","author":"Mendler","year":"2005"},{"key":"2026051115513113400_ref40","doi-asserted-by":"publisher","first-page":"1199","DOI":"10.1007\/s10992-024-09763-6","article-title":"An intuitionistically complete system of basic intuitionistic conditional logic","volume":"53","author":"Olkhovikov","year":"2024","journal-title":"Journal of Philosophical Logic"},{"key":"2026051115513113400_ref41","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/3-540-44958-2_10","article-title":"Natural deduction and context as (constructive) modality","volume-title":"Proceedings CONTEXT 2003","author":"de Paiva","year":"2003"},{"key":"2026051115513113400_ref42","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/B978-0-934613-04-0.50032-6","article-title":"A framework for intuitionistic modal logics: extended abstract","volume-title":"Theoretical Aspects of Reasoning About Knowledge: Proceedings of the 1986 Conference","author":"Plotkin","year":"1986"},{"key":"2026051115513113400_ref43","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF02770509","article-title":"Notes on conditional logic","volume":"48","author":"Segerberg","year":"1989","journal-title":"Studia Logica"},{"key":"2026051115513113400_ref44","doi-asserted-by":"publisher","DOI":"10.25911\/8F2P-AA86","volume-title":"New Foundations for the Proof Theory of Bi-Intuitionistic and Provability Logics Mechanized in Coq","author":"Shillito","year":"2023"},{"key":"2026051115513113400_ref45","volume-title":"The Proof Theory and Semantics of Intuitionistic Modal Logic","author":"Simpson","year":"1994"},{"key":"2026051115513113400_ref46","first-page":"139","article-title":"Modal theories with intuitionistic logic","volume-title":"Mathematical Logic: Proceedings of the Conference on Mathematical Logic, Dedicated to the Memory of A. A. Markov (1903\u20131979), Sofia, September 22\u201323, 1980","author":"Sotirov","year":"1984"},{"key":"2026051115513113400_ref47","article-title":"Uniform Lyndon interpolation for intuitionistic monotone modal logic","volume-title":"Proceedings of the 14th International Conference on Advances in Modal Logic","author":"Tabatabai"},{"key":"2026051115513113400_ref48","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"Troelstra","year":"2000"},{"key":"2026051115513113400_ref49","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10992-018-9471-4","article-title":"Basic intuitionistic conditional logic","volume":"48","author":"Weiss","year":"2019","journal-title":"Journal of Philosophical Logic"},{"key":"2026051115513113400_ref50","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1016\/0168-0072(90)90059-B","article-title":"Constructive modal logics I","volume":"50","author":"Wijesekera","year":"1990","journal-title":"Annals of Pure and Applied Logic"},{"key":"2026051115513113400_ref51","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.apal.2004.12.001","article-title":"Tableaux for constructive concurrent dynamic logic","volume":"135","author":"Wijesekera","year":"2005","journal-title":"Annals of Pure and Applied Logic"},{"key":"2026051115513113400_ref52","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF02672476","article-title":"The relation between intuitionistic and classical modal logics","volume":"36","author":"Wolter","year":"1997","journal-title":"Algebra and Logic"},{"key":"2026051115513113400_ref53","first-page":"168","article-title":"Intuitionistic modal logics as fragments of classical bimodal logics","volume-title":"Logic at Work, Essays in Honour of Helena Rasiowa","author":"Wolter","year":"1998"},{"key":"2026051115513113400_ref54","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-94-017-2109-7_17","article-title":"Intuitionistic modal logic","volume-title":"Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science","author":"Wolter","year":"1999"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/36\/4\/exag017\/68268478\/exag017.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/36\/4\/exag017\/68268478\/exag017.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T19:51:42Z","timestamp":1778529102000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/doi\/10.1093\/logcom\/exag017\/8675943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,29]]},"references-count":54,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2026,4,29]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exag017","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2026,6]]},"published":{"date-parts":[[2026,4,29]]},"article-number":"exag017"}}