{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:10:16Z","timestamp":1760080216186,"version":"3.40.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030003883"},{"type":"electronic","value":"9783030003890"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00389-0_5","type":"book-chapter","created":{"date-parts":[[2018,9,19]],"date-time":"2018-09-19T19:12:43Z","timestamp":1537384363000},"page":"56-77","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Predicate Liftings and Functor Presentations in Coalgebraic Expression Languages"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8678-7876","authenticated-orcid":false,"given":"Ulrich","family":"Dorsch","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2021-1644","authenticated-orcid":false,"given":"Stefan","family":"Milius","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3146-5906","authenticated-orcid":false,"given":"Lutz","family":"Schr\u00f6der","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8993-6486","authenticated-orcid":false,"given":"Thorsten","family":"Wi\u00dfmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,20]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/147508.147527","volume":"39","author":"L Aceto","year":"1992","unstructured":"Aceto, L., Hennessy, M.: Termination, deadlock, and divergence. J. ACM 39, 147\u2013187 (1992)","journal-title":"J. ACM"},{"key":"5_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511814105","volume-title":"Reactive Systems: Modelling, Specification and Verification","author":"L Aceto","year":"2007","unstructured":"Aceto, L., Ing\u00f3lfsd\u00f3ttir, A., Larsen, K., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, New York (2007)"},{"key":"5_CR3","volume-title":"Automata and Algebras in Categories, Mathematics and Its Applications","author":"J Ad\u00e1mek","year":"1990","unstructured":"Ad\u00e1mek, J., Trnkov\u00e1, V.: Automata and Algebras in Categories, Mathematics and Its Applications, vol. 37. Kluwer, Dordrecht (1990)"},{"key":"5_CR4","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $$\\cal{EL}$$ envelope. In: International Joint Conference on Artificial Intelligence, IJCAI 2005. Morgan-Kaufmann (2005)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Barr, M.: Relational algebras. In: Reports of the Midwest Category Seminar. LNM, vol. 137. Springer (1970)","DOI":"10.1007\/BFb0060439"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/BFb0048939","volume-title":"Programming Languages and Their Definition","author":"H Beki\u010d","year":"1984","unstructured":"Beki\u010d, H.: Definable operations in general algebras, and the theory of automata and flowcharts. In: Jones, C.B. (ed.) Programming Languages and Their Definition. LNCS, vol. 177, pp. 30\u201355. Springer, Heidelberg (1984). https:\/\/doi.org\/10.1007\/BFb0048939"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stirling, C.: Modal logics and mu-calculi. In: Handbook of Process Algebra, pp. 293\u2013332. Elsevier (2001)","DOI":"10.1016\/B978-044482830-9\/50022-9"},{"issue":"3:3","key":"5_CR8","first-page":"33","volume":"7","author":"C C\u00eerstea","year":"2011","unstructured":"C\u00eerstea, C., Kupke, C., Pattinson, D.: EXPTIME tableaux for the coalgebraic mu-calculus. Log. Methods Comput. Sci. 7(3:3), 33 (2011)","journal-title":"Log. Methods Comput. Sci."},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1093\/comjnl\/bxp004","volume":"54","author":"C C\u00eerstea","year":"2011","unstructured":"C\u00eerstea, C., Kurz, A., Pattinson, D., Schr\u00f6der, L., Venema, Y.: Modal logics are coalgebraic. Comput. J. 54, 31\u201341 (2011)","journal-title":"Comput. J."},{"key":"5_CR10","unstructured":"Godskesen, J., Ing\u00f3lfsd\u00f3ttir, A., Zeeberg, M.: Fra Hennessy-Milner logik til CCS-processer. Master\u2019s thesis, Aalborg University (1987)"},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-3-662-44602-7_21","volume-title":"Theoretical Computer Science","author":"Sergey Goncharov","year":"2014","unstructured":"Goncharov, Sergey, Milius, Stefan, Silva, Alexandra: Towards a coalgebraic Chomsky hierarchy. In: Diaz, Josep, Lanese, Ivan, Sangiorgi, Davide (eds.) TCS 2014. LNCS, vol. 8705, pp. 265\u2013280. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44602-7_21"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-642-40206-7_19","volume-title":"Algebra and Coalgebra in Computer Science","author":"Daniel Gor\u00edn","year":"2013","unstructured":"Gor\u00edn, Daniel, Schr\u00f6der, Lutz: Simulations and bisimulations for coalgebraic modal logics. In: Heckel, Reiko, Milius, Stefan (eds.) CALCO 2013. LNCS, vol. 8089, pp. 253\u2013266. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40206-7_19"},{"key":"5_CR13","unstructured":"Gor\u00edn, D., Schr\u00f6der, L.: Subsumption checking in conjunctive coalgebraic fixpoint logics. In: Advances in Modal Logic, AiML 2014. pp. 254\u2013273. College Publications (2014)"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0019-9958(86)80031-6","volume":"68","author":"S Graf","year":"1986","unstructured":"Graf, S., Sifakis, J.: A modal characterization of observational congruence on finite terms of CCS. Inf. Control 68, 125\u2013145 (1986)","journal-title":"Inf. Control"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Gumm, H.P., Schr\u00f6der, T.: Monoid-labeled transition systems. In: Coalgebraic Methods in Computer Science, CMCS 2001. ENTCS, vol. 44, pp. 185\u2013204. Elsevier (2001)","DOI":"10.1016\/S1571-0661(04)80908-3"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional $$\\mu $$-calculus. Theor. Comput. Sci. 27, 333\u2013354 (1983)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1145\/256167.256195","volume":"19","author":"D Kozen","year":"1997","unstructured":"Kozen, D.: Kleene algebra with tests. ACM Trans. Program. Lang. Syst. 19, 427\u2013443 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Kurz, A., Leal, R.: Equational coalgebraic logic. In: Mathematical Foundations of Programming Semantics, MFPS 2009. ENTCS, vol. 249, pp. 333\u2013356. Elsevier (2009)","DOI":"10.1016\/j.entcs.2009.07.097"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Leal, R.: Predicate liftings versus nabla modalities. In: Coalgebraic Methods in Computer Science, CMCS 2008. ENTCS, vol. 203, pp. 195\u2013220. Elsevier (2008)","DOI":"10.1016\/j.entcs.2008.05.026"},{"issue":"5","key":"5_CR20","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1016\/j.jcss.2014.12.006","volume":"81","author":"J Marti","year":"2015","unstructured":"Marti, J., Venema, Y.: Lax extensions of coalgebra functors and their logic. J. Comput. Syst. Sci. 81(5), 880\u2013900 (2015)","journal-title":"J. Comput. Syst. Sci."},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Milius, S.: A sound and complete calculus for finite stream circuits. In: Proceedings of the 25th Annual Symposium on Logic in Computer Science (LICS 2010). pp. 449\u2013458. IEEE Computer Society (2010)","DOI":"10.1109\/LICS.2010.11"},{"key":"5_CR22","unstructured":"Milius, S., Pattinson, D., Schr\u00f6der, L.: Generic trace semantics and graded monads. In: Coalgebraic and Algebraic Methods in Computer Science, CALCO 2015. LIPIcs, vol. 35, pp. 253\u2013269 (2015)"},{"issue":"1","key":"5_CR23","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. Comput. 93(1), 55\u201392 (1991)","journal-title":"Inf. Comput."},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","volume":"96","author":"L Moss","year":"1999","unstructured":"Moss, L.: Coalgebraic logic. Ann. Pure Appl. Log. 96, 277\u2013317 (1999)","journal-title":"Ann. Pure Appl. Log."},{"key":"5_CR25","unstructured":"Myers, R.: Rational coalgebraic machines in varieties: languages, completeness and automatic proofs. Ph.D. thesis, Imperial College London (2013)"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Parikh, R.: Propositional game logic. In: Foundations of Computer Science, FOCS 1983. IEEE (1983)","DOI":"10.1109\/SFCS.1983.47"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0304-3975(03)00201-9","volume":"309","author":"D Pattinson","year":"2003","unstructured":"Pattinson, D.: Coalgebraic modal logic: soundness, completeness and decidability of local consequence. Theor. Comput. Sci. 309, 177\u2013193 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1305\/ndjfl\/1094155277","volume":"45","author":"D Pattinson","year":"2004","unstructured":"Pattinson, D.: Expressive logics for coalgebras via terminal sequence induction. Notre Dame J. Formal Log. 45, 19\u201333 (2004)","journal-title":"Notre Dame J. Formal Log."},{"key":"5_CR29","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D Peleg","year":"1987","unstructured":"Peleg, D.: Concurrent dynamic logic. J. ACM 34, 450\u2013479 (1987)","journal-title":"J. ACM"},{"key":"5_CR30","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1016\/j.tcs.2007.09.023","volume":"390","author":"L Schr\u00f6der","year":"2008","unstructured":"Schr\u00f6der, L.: Expressivity of coalgebraic modal logic: the limits and beyond. Theor. Comput. Sci. 390, 230\u2013247 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"5_CR31","doi-asserted-by":"publisher","first-page":"4:1","DOI":"10.1145\/3157055","volume":"19","author":"L Schr\u00f6der","year":"2018","unstructured":"Schr\u00f6der, L., Venema, Y.: Completeness of flat coalgebraic fixpoint logics. ACM Trans. Comput. Log. 19, 4:1\u20134:34 (2018)","journal-title":"ACM Trans. Comput. Log."},{"key":"5_CR32","doi-asserted-by":"publisher","first-page":"822","DOI":"10.1016\/j.ic.2010.09.007","volume":"209","author":"A Silva","year":"2011","unstructured":"Silva, A., Bonchi, F., Bonsangue, M., Rutten, J.: Quantitative Kleene coalgebras. Inf. Comput. 209, 822\u2013849 (2011)","journal-title":"Inf. Comput."},{"issue":"1:9","key":"5_CR33","first-page":"27","volume":"9","author":"A Silva","year":"2013","unstructured":"Silva, A., Bonchi, F., Bonsangue, M., Rutten, J.: Generalizing determinization from automata to coalgebras. Log. Methods Comput. Sci. 9(1:9), 27 (2013)","journal-title":"Log. Methods Comput. Sci."},{"issue":"3:23","key":"5_CR34","first-page":"39","volume":"6","author":"A Silva","year":"2010","unstructured":"Silva, A., Bonsangue, M., Rutten, J.: Non-deterministic Kleene coalgebras. Log. Methods Comput. Sci. 6(3:23), 39 (2010)","journal-title":"Log. Methods Comput. Sci."},{"key":"5_CR35","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1006\/inco.1994.1028","volume":"110","author":"B Steffen","year":"1994","unstructured":"Steffen, B., Ing\u00f3lfsd\u00f3ttir, A.: Characteristic formulae for processes with divergence. Inf. Comput. 110, 149\u2013163 (1994)","journal-title":"Inf. Comput."},{"key":"5_CR36","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1214\/aoms\/1177700153","volume":"36","author":"V Strassen","year":"1965","unstructured":"Strassen, V.: The existence of probability measures with given marginals. Ann. Math. Stat. 36, 423\u2013439 (1965)","journal-title":"Ann. Math. Stat."},{"key":"5_CR37","first-page":"189","volume":"3","author":"V Trnkov\u00e1","year":"1980","unstructured":"Trnkov\u00e1, V.: General theory of relational automata. Fund. Inform. 3, 189\u2013234 (1980)","journal-title":"Fund. Inform."},{"key":"5_CR38","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1016\/j.ic.2005.06.003","volume":"204","author":"Y Venema","year":"2006","unstructured":"Venema, Y.: Automata and fixed point logic: a coalgebraic perspective. Inf. Comput. 204, 637\u2013678 (2006)","journal-title":"Inf. Comput."},{"key":"5_CR39","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/BF02572492","volume":"28","author":"HJ Weinert","year":"1984","unstructured":"Weinert, H.J.: On $$0$$-simple semirings, semigroup semirings, and two kinds of division semirings. Semigroup Forum 28, 313\u2013333 (1984)","journal-title":"Semigroup Forum"}],"container-title":["Lecture Notes in Computer Science","Coalgebraic Methods in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00389-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T00:03:20Z","timestamp":1663545800000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-00389-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030003883","9783030003890"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00389-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"20 September 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CMCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Coalgebraic Methods in Computer Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Thessaloniki","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 April 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 April 2018","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":"cmcs2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.coalg.org\/cmcs18\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}