{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:10:58Z","timestamp":1748664658730,"version":"3.41.0"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319247038"},{"type":"electronic","value":"9783319247045"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24704-5_8","type":"book-chapter","created":{"date-parts":[[2015,9,24]],"date-time":"2015-09-24T05:31:29Z","timestamp":1443072689000},"page":"119-135","source":"Crossref","is-referenced-by-count":2,"title":["Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective"],"prefix":"10.1007","author":[{"given":"Fredrik","family":"Dahlqvist","sequence":"first","affiliation":[]},{"given":"David","family":"Pym","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-642-03741-2_18","volume-title":"Algebra and Coalgebra in Computer Science","author":"N. Bezhanishvili","year":"2009","unstructured":"Bezhanishvili, N., Gehrke, M.: Free Heyting Algebras: Revisited. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol.\u00a05728, pp. 251\u2013266. Springer, Heidelberg (2009)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-642-22944-2_9","volume-title":"Algebra and Coalgebra in Computer Science","author":"M. B\u00edlkov\u00e1","year":"2011","unstructured":"B\u00edlkov\u00e1, M., Kurz, A., Petri\u015fan, D., Velebil, J.: Relation Liftings on Preorders and Posets. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 115\u2013129. Springer, Heidelberg (2011)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. CUP (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"8_CR4","unstructured":"Brotherston, J., Villard, J.: Bi-intuitionistic boolean bunched logic. Research Note RN\/14\/06, University College London (2014)"},{"key":"8_CR5","unstructured":"Coumans, D., Gehrke, M., van Rooijen, L.: Relational semantics for a fragment of linear logic. In: Proceedings of PhDs in Logic III (2011)"},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/1190215.1190236","volume":"42","author":"C. Calcagno","year":"2007","unstructured":"Calcagno, C., Gardner, P., Zarfaty, U.: Context logic as modal logic: completeness and parametric inexpressivity. ACM SIGPLAN Not.\u00a042(1), 123\u2013134 (2007)","journal-title":"ACM SIGPLAN Not."},{"issue":"5","key":"8_CR7","doi-asserted-by":"publisher","first-page":"959","DOI":"10.1017\/S0960129509990077","volume":"19","author":"M. Collinson","year":"2009","unstructured":"Collinson, M., Pym, D.: Algebra and logic for resource-based systems modelling. Mathematical Structures in Computer Science\u00a019(5), 959\u20131027 (2009)","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR8","unstructured":"Collinson, M., Monahan, B., Pym, D.: A Discipline of Mathematical Systems Modelling. College Publications (2012)"},{"issue":"1-3","key":"8_CR9","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.tcs.2007.06.002","volume":"388","author":"C. C\u00eerstea","year":"2007","unstructured":"C\u00eerstea, C., Pattinson, D.: Modular construction of complete coalgebraic logics. Theoret. Comp. Sci.\u00a0388(1-3), 83\u2013108 (2007)","journal-title":"Theoret. Comp. Sci."},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-22944-2_12","volume-title":"Algebra and Coalgebra in Computer Science","author":"F. Dahlqvist","year":"2011","unstructured":"Dahlqvist, F., Pattinson, D.: On the fusion of coalgebraic logics. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol.\u00a06859, pp. 161\u2013175. Springer, Heidelberg (2011)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-37075-5_13","volume-title":"Foundations of Software Science and Computation Structures","author":"F. Dahlqvist","year":"2013","unstructured":"Dahlqvist, F., Pattinson, D.: Some sahlqvist completeness results for coalgebraic logics. In: Pfenning, F. (ed.) FOSSACS 2013 (ETAPS 2013). LNCS, vol.\u00a07794, pp. 193\u2013208. Springer, Heidelberg (2013)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Dahlqvist, F., Pym, D.: Completeness via canonicity for distributive substructural logics: a coalgebraic perspective. Research Note RN\/15\/04, Department of Computer Science, UCL (2015), http:\/\/www.cs.ucl.ac.uk\/fileadmin\/UCL-CS\/research\/Research_Notes\/rn-15-04.pdf","DOI":"10.1007\/978-3-319-24704-5_8"},{"issue":"3","key":"8_CR13","doi-asserted-by":"publisher","first-page":"713","DOI":"10.2178\/jsl\/1122038911","volume":"70","author":"J.M. Dunn","year":"2005","unstructured":"Dunn, J.M., Gehrke, M., Palmigiano, A.: Canonical Extensions and Relational Completeness of Some Substructural Logics. J. Symb. Logic\u00a070(3), 713\u2013740 (2005)","journal-title":"J. Symb. Logic"},{"issue":"2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/BF01061239","volume":"55","author":"J.M. Dunn","year":"1995","unstructured":"Dunn, J.M.: Positive modal logic. Studia Logica\u00a055(2), 301\u2013317 (1995)","journal-title":"Studia Logica"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1017\/S0960129505004858","volume":"15","author":"D. Galmiche","year":"2005","unstructured":"Galmiche, D., M\u00e9ry, D., Pym, D.: The Semantics of BI and Resource Tableaux. Mathematical Structures in Computer Science\u00a015, 1033\u20131088 (2005)","journal-title":"Mathematical Structures in Computer Science"},{"issue":"2","key":"8_CR16","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/s11225-006-9008-7","volume":"84","author":"M. Gehrke","year":"2006","unstructured":"Gehrke, M.: Generalized Kripke frames. Studia Logica\u00a084(2), 241\u2013275 (2006)","journal-title":"Studia Logica"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1006\/jabr.2000.8622","volume":"238","author":"M. Gehrke","year":"2001","unstructured":"Gehrke, M., Harding, J.: Bounded lattice expansions. Journal of Algebra\u00a0238(1), 345\u2013371 (2001)","journal-title":"Journal of Algebra"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Theoret. Comp. Sci.\u00a050, 1\u2013102 (1987)","journal-title":"Theoret. Comp. Sci."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Givant, S., Halmos, P.: Introduction to Boolean Algebras. Springer (2009)","DOI":"10.1007\/978-0-387-68436-9"},{"issue":"2","key":"8_CR20","first-page":"207","volume":"40","author":"M. Gehrke","year":"1994","unstructured":"Gehrke, M., J\u00f3nsson, B.: Bounded distributive lattices with operators. Mathematica Japonica\u00a040(2), 207\u2013215 (1994)","journal-title":"Mathematica Japonica"},{"key":"8_CR21","doi-asserted-by":"crossref","first-page":"13","DOI":"10.7146\/math.scand.a-14428","volume":"94","author":"M. Gehrke","year":"2004","unstructured":"Gehrke, M., J\u00f3nsson, B.: Bounded distributive lattice expansions. Mathematica Scandinavica\u00a094, 13\u201345 (2004)","journal-title":"Mathematica Scandinavica"},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s11083-011-9226-0","volume":"30","author":"M. Gehrke","year":"2013","unstructured":"Gehrke, M., Jansana, R., Palmigiano, A.: \u03941 -completions of a poset. Order\u00a030(1), 39\u201364 (2013)","journal-title":"Order"},{"issue":"3","key":"8_CR23","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/373243.375719","volume":"36","author":"S.S. Ishtiaq","year":"2001","unstructured":"Ishtiaq, S.S., O\u2019Hearn, P.W.: BI as an assertion language for mutable data structures. ACM SIGPLAN Not.\u00a036(3), 14\u201326 (2001)","journal-title":"ACM SIGPLAN Not."},{"issue":"4","key":"8_CR24","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01057646","volume":"53","author":"B. J\u00f3nsson","year":"1994","unstructured":"J\u00f3nsson, B.: On the canonicity of Sahlqvist identities. Stud. Log.\u00a053(4), 473\u2013492 (1994)","journal-title":"Stud. Log."},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1093\/logcom\/exn093","volume":"20","author":"B. Jacobs","year":"2010","unstructured":"Jacobs, B., Sokolova, A.: Exemplaric expressivity of modal logics. J. Log. Compuat.\u00a020, 1041\u20131068 (2010)","journal-title":"J. Log. Compuat."},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"33","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators. part 1. Amer. J. Math.\u00a033, 891\u2013937 (1951)","journal-title":"Amer. J. Math."},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Kupke, C., Kurz, A., Pattinson, D.: Algebraic semantics for coalgebraic logics. In: ENTCS, vol.\u00a0106, pp. 219\u2013241 (2004)","DOI":"10.1016\/j.entcs.2004.02.037"},{"key":"8_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/11548133_17","volume-title":"Algebra and Coalgebra in Computer Science","author":"C. Kupke","year":"2005","unstructured":"Kupke, C., Kurz, A., Pattinson, D.: Ultrafilter Extensions for Coalgebras. In: Fiadeiro, J.L., Harman, N.A., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol.\u00a03629, pp. 263\u2013277. Springer, Heidelberg (2005)"},{"key":"8_CR29","first-page":"177","volume":"20","author":"H. Ono","year":"2003","unstructured":"Ono, H.: Substructural logics and residuated lattices \u2014 an introduction. Trends in Logic\u00a020, 177\u2013212 (2003)","journal-title":"Trends in Logic"},{"issue":"2","key":"8_CR30","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P.W. O\u2019Hearn","year":"1999","unstructured":"O\u2019Hearn, P.W., Pym, D.J.: The logic of bunched implications. Bulletin of Symbolic Logic\u00a05(2), 215\u2013244 (1999)","journal-title":"Bulletin of Symbolic Logic"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Pym, D., O\u2019Hearn, P., Yang, H.: Possible Worlds and Resources: The Semantics of BI. Theoret. Comp. Sci.\u00a0315(1), 257\u2013305 (2002); Erratum: p. 285, l. -12: \u2018, for some P\u2032, Q\u2009=\u2009P;P\u2032\u2019 should be \u2018P\u2009\u22a2\u2009Q\u2019","DOI":"10.1016\/j.tcs.2003.11.020"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"J.: C Reynolds. Separation logic: A logic for shared mutable data structures. In: Proc. 17th LICS, pp. 55\u201374. IEEE (2002)","DOI":"10.1109\/LICS.2002.1029817"},{"key":"8_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S1755020310000201","volume":"4","author":"T. Suzuki","year":"2011","unstructured":"Suzuki, T.: Canonicity results of substructural and lattice-based logics. The Review of Symbolic Logic\u00a04, 1\u201342 (2011)","journal-title":"The Review of Symbolic Logic"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Venema, Y.: Algebras and coalgebras. In: van Benthem, J., Blackburn, P., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier (2006)","DOI":"10.1016\/S1570-2464(07)80009-7"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24704-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T19:52:50Z","timestamp":1748634770000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24704-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319247038","9783319247045"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24704-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}