{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T08:26:25Z","timestamp":1746001585769,"version":"3.40.4"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2013,1,25]],"date-time":"2013-01-25T00:00:00Z","timestamp":1359072000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s10992-012-9266-y","type":"journal-article","created":{"date-parts":[[2013,1,24]],"date-time":"2013-01-24T11:20:56Z","timestamp":1359026456000},"page":"365-391","source":"Crossref","is-referenced-by-count":7,"title":["Modes of Adjointness"],"prefix":"10.1007","volume":"43","author":[{"given":"M.","family":"Menni","sequence":"first","affiliation":[]},{"given":"C.","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,1,25]]},"reference":[{"key":"9266_CR1","first-page":"292","volume-title":"Computer science logic (Paris, 2001). Lecture notes in comput. sci. (Vol. 2142)","author":"N Alechina","year":"2001","unstructured":"Alechina, N., Mendler, M., de Paiva, V., Ritter, E. (2001). Categorical and Kripke semantics for constructive S4 modal logic. In Computer science logic (Paris, 2001). Lecture notes in comput. sci. (Vol. 2142, pp. 292\u2013307). Berlin: Springer."},{"issue":"3","key":"9266_CR2","doi-asserted-by":"crossref","first-page":"555","DOI":"10.1093\/logcom\/exm015","volume":"17","author":"A Baltag","year":"2007","unstructured":"Baltag, A., Coecke, B., Sadrzadeh, M. (2007). Epistemic actions as resources. Journal of Logic and Computation, 17(3), 555\u2013585.","journal-title":"Journal of Logic and Computation"},{"key":"9266_CR3","volume-title":"Cambridge tracts in theoretical computer science (Vol. 53)","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y. (2001). Modal logic. In Cambridge tracts in theoretical computer science (Vol. 53). Cambridge: Cambridge University Press."},{"volume-title":"Handbook of modal logic. Studies in logic and practical reasoning (Vol. 3)","year":"2007","key":"9266_CR4","unstructured":"Blackburn, P., van Benthem, J., Wolter, F. (Eds.) (2007). Handbook of modal logic. Studies in logic and practical reasoning (Vol. 3). Amsterdam: Elsevier."},{"issue":"3","key":"9266_CR5","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1023\/B:STUD.0000009559.44998.a3","volume":"75","author":"BA Davey","year":"2003","unstructured":"Davey, B.A., & Galati, J.C. (2003). A coalgebraic view of Heyting duality. Studia Logica, 75(3), 259\u2013270.","journal-title":"Studia Logica"},{"issue":"1","key":"9266_CR6","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/S0001-8708(02)00068-3","volume":"178","author":"R Dawson","year":"2003","unstructured":"Dawson, R., Par\u00e9, R., Pronk, D. (2003). Adjoining adjoints. Advances in Mathematics, 178(1), 99\u2013140.","journal-title":"Advances in Mathematics"},{"key":"9266_CR7","first-page":"31","volume-title":"Logics in AI (Amsterdam, 1990). Lecture notes in comput. sci.","author":"JM Dunn","year":"1991","unstructured":"Dunn, J.M. (1991). Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators. In Logics in AI (Amsterdam, 1990). Lecture notes in comput. sci. (Vol.\u00a0478, pp. 31\u201351). Berlin: Springer."},{"key":"9266_CR8","volume-title":"Logik und mathematik: Frege-Kolloquium Jena","author":"JM Dunn","year":"1995","unstructured":"Dunn, J.M. (1995). Gaggle theory applied to intuitionistic, modal, and relevance logics. In I. Max, & W. Stelzner (Eds.), Logik und mathematik: Frege-Kolloquium Jena. Berlin: de Gruyter."},{"issue":"2","key":"9266_CR9","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"JM Dunn","year":"1995","unstructured":"Dunn, J.M. (1995). Positive modal logic. Studica Logica, 55(2), 301\u2013317.","journal-title":"Studica Logica"},{"issue":"6","key":"9266_CR10","doi-asserted-by":"crossref","first-page":"837","DOI":"10.1093\/jigpal\/jzp057","volume":"18","author":"W Dzik","year":"2010","unstructured":"Dzik, W., J\u00e4rvinen, J., Kondo, M. (2010). Intuitionistic propositional logic with Galois connections. Logic Journal of the IGPL, 18(6), 837\u2013858.","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"9266_CR11","first-page":"1","volume":"2","author":"D Elgesem","year":"1997","unstructured":"Elgesem, D. (1997). The modal logic of agency. Nordic Journal of Philosophical Logic, 2(2), 1\u201346.","journal-title":"Nordic Journal of Philosophical Logic"},{"issue":"3\u20134","key":"9266_CR12","doi-asserted-by":"crossref","first-page":"349","DOI":"10.3166\/jancl.16.349-366","volume":"16","author":"L Esakia","year":"2006","unstructured":"Esakia, L. (2006). The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic. Journal of Applied Non-classical Logics, 16(3\u20134), 349\u2013366.","journal-title":"Journal of Applied Non-classical Logics"},{"issue":"1","key":"9266_CR13","doi-asserted-by":"crossref","first-page":"166","DOI":"10.2307\/2273953","volume":"51","author":"WB Ewald","year":"1986","unstructured":"Ewald, W.B. (1986). Intuitionistic tense and modal logic. Journal of Symbolic Logic, 51(1), 166\u2013179.","journal-title":"Journal of Symbolic Logic"},{"issue":"1\u20133","key":"9266_CR14","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.apal.2004.04.007","volume":"131","author":"M Gehrke","year":"2005","unstructured":"Gehrke, M., Nagahashi, H., Venema, Y. (2005). A Sahlqvist theorem for distributive modal logic. Annals of Pure and Applied Logic, 131(1\u20133), 65\u2013102.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9266_CR15","doi-asserted-by":"crossref","unstructured":"Ghilardi, S., & Meloni, G.C. (1988). Modal and tense predicate logic: Models in presheaves and categorical conceptualization. In Categorical algebra and its applications. Lect. notes math (Vol. 1348, pp. 130\u2013142).","DOI":"10.1007\/BFb0081355"},{"issue":"1","key":"9266_CR16","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/s000120050100","volume":"41","author":"S Givant","year":"1999","unstructured":"Givant, S., & Venema, Y. (1999). The preservation of Sahlqvist equations in completions of Boolean algebras with operators. Algebra Universalis, 41(1), 47\u201384.","journal-title":"Algebra Universalis"},{"key":"9266_CR17","first-page":"41","volume":"6","author":"R Goldblatt","year":"1976","unstructured":"Goldblatt, R. (1976). Metamathematics of modal logic I. Reports on Mathematical Logic, 6, 41\u201378.","journal-title":"Reports on Mathematical Logic"},{"key":"9266_CR18","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1002\/malq.19810273104","volume":"27","author":"R Goldblatt","year":"1981","unstructured":"Goldblatt, R. (1981). Grothendieck topology as geometric modality. Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik, 27, 495\u2013529.","journal-title":"Zeitschrift f\u00fcr mathematische Logik und Grundlagen der Mathematik"},{"issue":"3","key":"9266_CR19","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(89)90032-8","volume":"44","author":"R Goldblatt","year":"1989","unstructured":"Goldblatt, R. (1989). Varieties of complex algebras. Annals of Pure and Applied Logic, 44(3), 173\u2013242.","journal-title":"Annals of Pure and Applied Logic"},{"issue":"5\u20136","key":"9266_CR20","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S1570-8683(03)00008-9","volume":"1","author":"R Goldblatt","year":"2003","unstructured":"Goldblatt, R. (2003). Mathematical modal logic: a view of its evolution. Journal of Applied Logic, 1(5\u20136), 309\u2013392.","journal-title":"Journal of Applied Logic"},{"issue":"2","key":"9266_CR21","doi-asserted-by":"crossref","first-page":"137","DOI":"10.4310\/HHA.2003.v5.n2.a6","volume":"5","author":"J Goubault-Larrecq","year":"2003","unstructured":"Goubault-Larrecq, J., & Goubault, \u00c9. (2003). On the geometry of intuitionistic S4 proofs. Homology, Homotopy, and Applications, 5(2), 137\u2013209.","journal-title":"Homology, Homotopy, and Applications"},{"issue":"4","key":"9266_CR22","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/s10992-004-6368-1","volume":"34","author":"G Governatori","year":"2005","unstructured":"Governatori, G., & Rotolo, A. (2005). On the axiomatisation of Elgesem\u2019s logic of agency and ability. Journal of Philosophical Logic, 34(4), 403\u2013431.","journal-title":"Journal of Philosophical Logic"},{"key":"9266_CR23","unstructured":"Hermida, C. (2002). A categorical outlook on relational modalities and simulations. Presented at IMLA\u201902."},{"issue":"1\u20132","key":"9266_CR24","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3233\/FUN-2007-761-209","volume":"76","author":"J Jarvinen","year":"2007","unstructured":"Jarvinen, J., Kondo, M., Kortelainen, J. (2007). Modal-like operators in Boolean lattices, Galois connections and fixed points. Fundamenta Informaticae, 76(1\u20132), 129\u2013145.","journal-title":"Fundamenta Informaticae"},{"key":"9266_CR25","volume-title":"Oxford logic guides (Vols. 43\u201344)","author":"PT Johnstone","year":"2002","unstructured":"Johnstone, P.T. (2002). Sketches of an elephant: A topos theory compendium. In Oxford logic guides (Vols. 43\u201344). New York: The Clarendon Press Oxford University Press."},{"key":"9266_CR26","doi-asserted-by":"crossref","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., & Tarski, A. (1951). Boolean algebras with operators. I. American Journal of Mathematics, 73, 891\u2013939.","journal-title":"American Journal of Mathematics"},{"key":"9266_CR27","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1090\/S0002-9947-1958-0131451-0","volume":"87","author":"DM Kan","year":"1958","unstructured":"Kan, D.M. (1958). Adjoint functors. Transactions of the American Mathematics Society, 87, 294\u2013329.","journal-title":"Transactions of the American Mathematics Society"},{"key":"9266_CR28","unstructured":"La Palme Reyes, M., Reyes, G., Zolfaghari, H. (2004). Generic figures and their glueings (a constructive approach to functor categories). Polimetrica."},{"key":"9266_CR29","volume-title":"Cambridge studies in advanced mathematics\u00a0(No. 7)","author":"J Lambek","year":"1986","unstructured":"Lambek, J., & Scott, P.J. (1986). Introduction to higher order categorical logic. In Cambridge studies in advanced mathematics\u00a0(No. 7). Cambridge: Cambridge University Press."},{"key":"9266_CR30","first-page":"329","volume-title":"Actes du congr\u00e8s international des math\u00e9maticiens (Nice, 1970), Tome 1","author":"FW Lawvere","year":"1971","unstructured":"Lawvere, F.W. (1971). Quantifiers and sheaves. In Actes du congr\u00e8s international des math\u00e9maticiens (Nice, 1970), Tome 1 (pp. 329\u2013334). Paris: Gauthier-Villars."},{"key":"9266_CR31","first-page":"279","volume-title":"Category theory (Como, 1990). Lecture notes in math (Vol. 1488)","author":"FW Lawvere","year":"1991","unstructured":"Lawvere, F.W. (1991). Intrinsic co-Heyting boundaries and the Leibniz rule in certain toposes. In Category theory (Como, 1990). Lecture notes in math (Vol.\u00a01488, pp. 279\u2013281). Berlin: Springer."},{"key":"9266_CR32","first-page":"181","volume-title":"Logic and algebra. Proceedings of the 1994 Siena conference in memory of Roberto Magari. Lecture notes in pure and applied algebra (Vol. 180)","author":"FW Lawvere","year":"1996","unstructured":"Lawvere, F.W. (1996). Adjoints in and among bicategories. In Logic and algebra. Proceedings of the 1994 Siena conference in memory of Roberto Magari. Lecture notes in pure and applied algebra (Vol.\u00a0180, pp. 181\u2013189). New York: Marcel Dekker."},{"key":"9266_CR33","unstructured":"Lawvere, F.W. (2006). Adjointness in foundations. Reprints in Theory and applications of categories (pp. 1\u201316). Originally published: Dialectica, 23 (1969)."},{"key":"9266_CR34","volume-title":"Graduate texts in mathematics","author":"S Mac Lane","year":"1971","unstructured":"Mac Lane, S. (1971). Categories for the working mathematician. In Graduate texts in mathematics. Berlin: Springer."},{"key":"9266_CR35","volume-title":"Universitext","author":"S Mac Lane","year":"1992","unstructured":"Mac Lane, S., & Moerdijk, I. (1992). Sheaves in geometry and logic: A first introduction to Topos Theory. In Universitext. Berlin: Springer."},{"key":"9266_CR36","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0168-0072(93)00085-4","volume":"72","author":"M Makkai","year":"1995","unstructured":"Makkai, M., & Reyes, G.E. (1995). Completeness results for intuitionistic and modal logic in a categorical setting. Annals of Pure and Applied Logic, 72, 25\u2013101.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9266_CR37","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"JCC McKinsey","year":"1944","unstructured":"McKinsey, J.C.C., & Tarski, A. (1944). The algebra of topology. Annals of Mathematics (2), 45, 141\u2013191.","journal-title":"Annals of Mathematics (2)"},{"issue":"1","key":"9266_CR38","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E Moggi","year":"1991","unstructured":"Moggi, E. (1991). Notions of computation and monads. Information and Computation, 93(1), 55\u201392.","journal-title":"Information and Computation"},{"key":"9266_CR39","doi-asserted-by":"crossref","unstructured":"M\u00f6ller, B., & Struth, G. (2004). Modal Kleene algebra and partial correctness. In C. Rattray, et al. (Eds.), Algebraic methodology and software technology. Lecture notes in computer science (Vol.\u00a03116, pp.\u00a0379\u2013393).","DOI":"10.1007\/978-3-540-27815-3_30"},{"issue":"3","key":"9266_CR40","doi-asserted-by":"crossref","first-page":"493","DOI":"10.2307\/1990305","volume":"55","author":"O Ore","year":"1944","unstructured":"Ore, O. (1944). Galois connexions. Transactions of the American Mathematical Society, 55(3), 493\u2013513.","journal-title":"Transactions of the American Mathematical Society"},{"issue":"3","key":"9266_CR41","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1305\/ndjfl\/1093635834","volume":"32","author":"GE Reyes","year":"1991","unstructured":"Reyes, G.E. (1991). A topos-theoretic approach to reference and modality. Notre Dame Journal of Formal Logic, 32(3), 359\u2013391.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9266_CR42","doi-asserted-by":"crossref","unstructured":"Reyes, G.E., & Zolfaghari, H. (1991). Topos-theoretic approaches to modality. In Category theory, Proc. int. conf., Como\/Italy 1990, Lect. notes math. (Vol. 1488, pp. 359\u2013378).","DOI":"10.1007\/BFb0084231"},{"issue":"2","key":"9266_CR43","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/s11229-008-9414-7","volume":"167","author":"M Sadrzadeh","year":"2009","unstructured":"Sadrzadeh, M. (2009). Ockham\u2019s razor and reasoning about information flow. Synthese, 167(2), 391\u2013408.","journal-title":"Synthese"},{"key":"9266_CR44","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1016\/j.entcs.2009.07.102","volume":"249","author":"M Sadrzadeh","year":"2009","unstructured":"Sadrzadeh, M., & Dyckhoff, R. (2009). Positive logic with adjoint modalities: proof theory, semantics and reasoning about information. Electronic Notes of Theoretical Computer Science, 249, 451\u2013470.","journal-title":"Electronic Notes of Theoretical Computer Science"},{"key":"9266_CR45","unstructured":"Simpson, A.K. (1994). The proof theory and semantics of intuitionistic modal logic. Ph.D. Thesis, University of Edinburgh. Available as ECS-LFCS-94-308, Department of Computer Science, University of Edinburgh."},{"key":"9266_CR46","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1017\/S0960129598002540","volume":"8","author":"B von Karger","year":"1998","unstructured":"von Karger, B. (1998). Temporal algebras. Mathematical Structures in Computer Science, 8, 277\u2013320.","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9266-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10992-012-9266-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-012-9266-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T18:23:12Z","timestamp":1745950992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10992-012-9266-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,25]]},"references-count":46,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["9266"],"URL":"https:\/\/doi.org\/10.1007\/s10992-012-9266-y","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2013,1,25]]}}}