{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T12:17:01Z","timestamp":1771244221100,"version":"3.50.1"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032143389","type":"print"},{"value":"9783032143396","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-14339-6_12","type":"book-chapter","created":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T11:36:42Z","timestamp":1771241802000},"page":"222-236","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Modal Logic of Minimal Upper Bounds"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-9835-4195","authenticated-orcid":false,"given":"S\u00f8ren","family":"Brinck Knudstorp","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,2,17]]},"reference":[{"issue":"5","key":"12_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3765\/sp.15.5","volume":"15","author":"M Aloni","year":"2022","unstructured":"Aloni, M.: Logic and conversation: the case of free choice. Semant. Pragmat. 15(5), 1\u201360 (2022)","journal-title":"Semant. Pragmat."},{"key":"12_CR2","unstructured":"Anderson, A.R., Belnap, N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press (1975)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Modal logic as a theory of information. In: Copeland, J. (ed.) Logic and Reality. Essays on the Legacy of Arthur Prior, pp. 135\u2013168. Clarendon Press, Oxford (1996)","DOI":"10.1093\/oso\/9780198240600.003.0008"},{"issue":"3","key":"12_CR4","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1007\/s10992-018-9485-y","volume":"48","author":"J van Benthem","year":"2019","unstructured":"van Benthem, J.: Implicit and explicit stances in logic. J. Philos. Log. 48(3), 571\u2013601 (2019). https:\/\/doi.org\/10.1007\/s10992-018-9485-y","journal-title":"J. Philos. Log."},{"key":"12_CR5","doi-asserted-by":"publisher","unstructured":"van Benthem, J.: Relational patterns, partiality, and set lifting in modal semantics. In: Weiss, Y., Birman, R. (eds) Saul Kripke on Modal Logic. Outstanding Contributions to Logic, vol. 30. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-57635-5_5","DOI":"10.1007\/978-3-031-57635-5_5"},{"key":"12_CR6","doi-asserted-by":"publisher","unstructured":"Buszkowski, W.: Lambek Calculus with Classical Logic, pp. 1\u201336 (2021). https:\/\/doi.org\/10.1007\/978-3-030-63787-3_1","DOI":"10.1007\/978-3-030-63787-3_1"},{"key":"12_CR7","doi-asserted-by":"publisher","unstructured":"Fine, K.: Truthmaker semantics, chap.\u00a022. In: Hale, B., Wright, C., Miller, A. (eds.) A Companion to the Philosophy of Language, pp. 556\u2013577. Wiley Ltd. (2017). https:\/\/doi.org\/10.1002\/9781118972090.ch22","DOI":"10.1002\/9781118972090.ch22"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"477","DOI":"10.2307\/2024563","volume":"66","author":"BC van Fraassen","year":"1969","unstructured":"van Fraassen, B.C.: Facts and tautological entailments. J. Philos. 66, 477\u2013487 (1969)","journal-title":"J. Philos."},{"key":"12_CR9","unstructured":"Knudstorp, S.B.: Modal Information Logics. Master\u2019s thesis, Institute for Logic, Language and Computation, University of Amsterdam (2022)"},{"issue":"6","key":"12_CR10","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/s11229-023-04401-1","volume":"202","author":"SB Knudstorp","year":"2023","unstructured":"Knudstorp, S.B.: Logics of truthmaker semantics: comparison, compactness and decidability. Synthese 202(6), 206 (2023). https:\/\/doi.org\/10.1007\/s11229-023-04401-1","journal-title":"Synthese"},{"issue":"6","key":"12_CR11","doi-asserted-by":"publisher","first-page":"1723","DOI":"10.1007\/s10992-023-09724-5","volume":"52","author":"SB Knudstorp","year":"2023","unstructured":"Knudstorp, S.B.: Modal information logics: axiomatizations and decidability. J. Philos. Logic 52(6), 1723\u20131766 (2023). https:\/\/doi.org\/10.1007\/s10992-023-09724-5","journal-title":"J. Philos. Logic"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. Amer. Math. Mon. 65, 154\u2013170 (1958)","journal-title":"Amer. Math. Mon."},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"159","DOI":"10.2307\/2272559","volume":"37","author":"A Urquhart","year":"1972","unstructured":"Urquhart, A.: Semantics for relevant logics. J. Symb. Log. 37, 159\u2013169 (1972)","journal-title":"J. Symb. Log."},{"key":"12_CR14","unstructured":"Urquhart, A.: The semantics of entailment, Ph.D. thesis, University of Pittsburgh (1973)"},{"issue":"7","key":"12_CR15","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1016\/j.apal.2016.03.003","volume":"167","author":"F Yang","year":"2016","unstructured":"Yang, F., V\u00e4\u00e4n\u00e4nen, J.: Propositional logics of dependence. Ann. Pure Appl. Logic 167(7), 557\u2013589 (2016). https:\/\/doi.org\/10.1016\/j.apal.2016.03.003","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-14339-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T11:36:44Z","timestamp":1771241804000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-14339-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032143389","9783032143396"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-14339-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"17 February 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author(s) have no competing interests to declare.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"TbiLLC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Tbilisi Symposium on Logic, Language, and Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Telavi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tbillc2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/events.illc.uva.nl\/Tbilisi\/Tbilisi2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}