{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:16:39Z","timestamp":1742926599960,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031626869"},{"type":"electronic","value":"9783031626876"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-62687-6_15","type":"book-chapter","created":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T15:01:50Z","timestamp":1717772510000},"page":"225-242","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modal Hyperdoctrine: Higher-Order and\u00a0Non-normal Extensions"],"prefix":"10.1007","author":[{"given":"Florrie","family":"Verity","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshihiro","family":"Maruyama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,6,8]]},"reference":[{"issue":"2","key":"15_CR1","first-page":"171","volume":"84","author":"H Arl\u00f3-Costa","year":"2006","unstructured":"Arl\u00f3-Costa, H., Pacuit, E.: First-order classical modal logic. Studia Logica Int. J. Symb. Logic 84(2), 171\u2013210 (2006)","journal-title":"Studia Logica Int. J. Symb. Logic"},{"issue":"228","key":"15_CR2","first-page":"591","volume":"57","author":"S Awodey","year":"2014","unstructured":"Awodey, S., Kishida, K., Kotzsch, H.C.: Topos semantics for higher-order modal logic. Logique et Anal. 57(228), 591\u2013636 (2014)","journal-title":"Logique et Anal."},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1016\/S1570-2464(07)80012-7","volume":"3","author":"T Bra\u00fcner","year":"2007","unstructured":"Bra\u00fcner, T., Ghilardi, S.: First-order modal logic. Stud. Logic Pract. Reason. 3, 549\u2013620 (2007)","journal-title":"Stud. Logic Pract. Reason."},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1093\/comjnl\/bxp004","volume":"54","author":"C Cirstea","year":"2011","unstructured":"Cirstea, C., Kurz, A., Pattinson, D., Schr\u00f6der, L., Venema, Y.: Stone coalgebras. Comput. J. 54, 31\u201341 (2011)","journal-title":"Comput. J."},{"issue":"4","key":"15_CR5","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/BF01048353","volume":"24","author":"MJ Cresswell","year":"1995","unstructured":"Cresswell, M.J.: Incompleteness and the Barcan formula. J. Philos. Log. 24(4), 379\u2013403 (1995)","journal-title":"J. Philos. Log."},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF02770513","volume":"48","author":"K Dosen","year":"1989","unstructured":"Dosen, K.: Duality between modal algebras and neighbourhood frames. Stud. Logica. 48, 219\u2013234 (1989)","journal-title":"Stud. Logica."},{"issue":"2","key":"15_CR7","doi-asserted-by":"publisher","first-page":"517","DOI":"10.2307\/2274697","volume":"56","author":"S Ghilardi","year":"1991","unstructured":"Ghilardi, S.: Incompleteness results in Kripke semantics. J. Symb. Logic 56(2), 517\u2013538 (1991)","journal-title":"J. Symb. Logic"},{"doi-asserted-by":"publisher","unstructured":"Ghilardi, S.: Substitution, quantifiers and identity in modal logic. In: Morscher, E., Hieke, A. (eds.) New Essays in Free Logic, pp. 87\u2013115. Springer, Dordrecht (2001). https:\/\/doi.org\/10.1007\/978-94-015-9761-6_5","key":"15_CR8","DOI":"10.1007\/978-94-015-9761-6_5"},{"doi-asserted-by":"crossref","unstructured":"Ghilardi, S., Meloni, G.: Modal and tense predicate logic: models in presheaves and categorical conceptualization. In: Borceux, F. (ed.) Categorical Algebra and its Applications. Lecture Notes in Mathematics, vol.\u00a01348, pp. 130\u2013142. Springer (1988)","key":"15_CR9","DOI":"10.1007\/BFb0081355"},{"unstructured":"Ghilardi, S., Meloni, G.: Relational and topological semantics for temporal and modal predicative logic. In: Atti del congresso \u2018Nuovi problemi della logica e della scienza\u2019 Viareggio, vol.\u00a02, pp. 59\u201377 (1990)","key":"15_CR10"},{"unstructured":"Ghilardi, S., Meloni, G.: Philosophical and mathematical investigations in first order modal logic. In: Usberti, G. (ed.) Problemi fondazionali in teoria del significato. Olsckhi (1991)","key":"15_CR11"},{"unstructured":"Jacobs, B.: Categorical Logic and Type Theory. Studies in Logic and the Foundations of Mathematics, vol.\u00a0141. Elsevier (1999)","key":"15_CR12"},{"unstructured":"Kotzsch, H.C.: Topos semantics for higher-order modal logic. Ph.D. thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2016)","key":"15_CR13"},{"key":"15_CR14","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1016\/j.tcs.2004.07.023","volume":"327","author":"C Kupke","year":"2004","unstructured":"Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Theoret. Comput. Sci. 327, 591\u2013636 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1111\/j.1746-8361.1969.tb01194.x","volume":"23","author":"FW Lawvere","year":"1969","unstructured":"Lawvere, F.W.: Adjointness in foundations. Dialectica 23, 281\u2013296 (1969)","journal-title":"Dialectica"},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"46","DOI":"10.2307\/2270619","volume":"31","author":"EJ Lemmon","year":"1966","unstructured":"Lemmon, E.J.: Algebraic semantics for modal logics $${I}$$. J. Symb. Logic 31(1), 46\u201365 (1966)","journal-title":"J. Symb. Logic"},{"unstructured":"Litak, T., Pattinson, D., Sano, K., Schr\u00f6der, L.: Model theory and proof theory of coalgebraic predicate logic. Log. Methods Comput. Sci. 14(1) (2018)","key":"15_CR17"},{"issue":"1","key":"15_CR18","doi-asserted-by":"publisher","first-page":"122","DOI":"10.2307\/1969038","volume":"47","author":"JCC McKinsey","year":"1946","unstructured":"McKinsey, J.C.C., Tarski, A.: On closed elements in closure algebras. Ann. Math. 47(1), 122\u2013162 (1946)","journal-title":"Ann. Math."},{"unstructured":"Pitts, A.M.: Categorical logic. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a0VI. Oxford University Press, Oxford (1995)","key":"15_CR19"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-62687-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T15:03:34Z","timestamp":1717772614000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-62687-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031626869","9783031626876"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-62687-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"8 June 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WoLLIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Language, Information, and Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bern","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wollic2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wollic2024.inf.unibe.ch\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}