{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:32:39Z","timestamp":1742970759070,"version":"3.40.3"},"publisher-location":"Cham","reference-count":46,"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_2","type":"book-chapter","created":{"date-parts":[[2018,9,19]],"date-time":"2018-09-19T19:12:43Z","timestamp":1537384363000},"page":"6-12","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Coalgebraic Logics & Duality"],"prefix":"10.1007","author":[{"given":"Clemens","family":"Kupke","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,20]]},"reference":[{"key":"2_CR1","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."},{"issue":"38","key":"2_CR2","doi-asserted-by":"publisher","first-page":"5070","DOI":"10.1016\/j.tcs.2011.04.023","volume":"412","author":"C Kupke","year":"2011","unstructured":"Kupke, C., Pattinson, D.: Coalgebraic semantics of modal logics: an overview. TCS 412(38), 5070\u20135094 (2011)","journal-title":"TCS"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"J Rutten","year":"2000","unstructured":"Rutten, J.: Universal coalgebra: a theory of systems. Theor. Comput. Sci. 249, 3\u201380 (2000)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"2_CR4","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/S0304-3975(00)00123-7","volume":"260","author":"HP Gumm","year":"2001","unstructured":"Gumm, H.P., Schr\u00f6der, T.: Covarieties and complete covarieties. Theor. Comput. Sci. 260(1\u20132), 71\u201386 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR5","unstructured":"Kurz, A.: A co-variety-theorem for modal logic. In: Advances in Modal Logic, vol. 2, CSLI (2001). Selected Papers from AiML 2, Uppsala, 1998"},{"key":"2_CR6","unstructured":"Kurz, A.: Logics for Coalgebras and Applications to Computer Science. Ph.D. thesis, Ludwig-Maximilians-Universit\u00e4t (2000)"},{"issue":"1\u20133","key":"2_CR7","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","volume":"96","author":"LS Moss","year":"1999","unstructured":"Moss, L.S.: Coalgebraic logic. Ann. Pure Appl. Logic 96(1\u20133), 277\u2013317 (1999)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"1-3","key":"2_CR8","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/S0168-0072(98)00042-6","volume":"96","author":"Lawrence S. Moss","year":"1999","unstructured":"Moss, L.S.: Erratum to \u201ccoalgebraic logic\u201d: Ann. pure appl. logic 96 (1999) 277\u2013317. Ann. Pure Appl. Logic 99(1\u20133) (1999) 241\u2013259","journal-title":"Annals of Pure and Applied Logic"},{"issue":"1\u20133","key":"2_CR9","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(1\u20133), 177\u2013193 (2003)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"2_CR10","first-page":"31","volume":"35","author":"B Jacobs","year":"2001","unstructured":"Jacobs, B.: Many-sorted coalgebraic modal logic: a model-theoretic study. ITA 35(1), 31\u201359 (2001)","journal-title":"ITA"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1016\/S1571-0661(05)80353-6","volume":"33","author":"M R\u00f6\u00dfiger","year":"2000","unstructured":"R\u00f6\u00dfiger, M.: Coalgebras and modal logic. Electr. Notes Theor. Comput. Sci. 33, 294\u2013315 (2000)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"2_CR12","unstructured":"Goldblatt, R.: Equational logic of polynomial coalgebras. In: Balbiani, P., Suzuki, N., Wolter, F., Zakharyaschev, M. (eds.) AIML 2002, pp. 149\u2013184 (2002)"},{"issue":"1\u20132","key":"2_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.tcs.2004.07.021","volume":"327","author":"C C\u00eerstea","year":"2004","unstructured":"C\u00eerstea, C.: A compositional approach to defining logics for coalgebras. Theor. Comput. Sci. 327(1\u20132), 45\u201369 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20133","key":"2_CR14","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. Theor. Comput. Sci. 388(1\u20133), 83\u2013108 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20133","key":"2_CR15","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.apal.2005.06.006","volume":"138","author":"R Goldblatt","year":"2006","unstructured":"Goldblatt, R.: Final coalgebras and the hennessy-milner property. Ann. Pure Appl. Logic 138(1\u20133), 77\u201393 (2006)","journal-title":"Ann. Pure Appl. Logic"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-642-03741-2_8","volume-title":"Algebra and Coalgebra in Computer Science","author":"C Kupke","year":"2009","unstructured":"Kupke, C., Leal, R.A.: Characterising behavioural equivalence: three sides of one coin. In: Kurz, A., Lenisa, M., Tarlecki, A. (eds.) CALCO 2009. LNCS, vol. 5728, pp. 97\u2013112. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03741-2_8"},{"key":"2_CR17","unstructured":"Levy, P.B.: Final coalgebras from corecursive algebras. In: Moss, L.S., Sobocinski, P. (eds.) 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). LIPIcs, vol. 35, pp. 221\u2013237. Schloss Dagstuhl (2015)"},{"issue":"2","key":"2_CR18","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(2), 230\u2013247 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.tcs.2004.07.023","volume":"327","author":"C Kupke","year":"2004","unstructured":"Kupke, C., Kurz, A., Venema, Y.: Stone coalgebras. Theor. Comput. Sci. 327, 109\u2013134 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"2_CR20","doi-asserted-by":"publisher","first-page":"610","DOI":"10.1016\/j.ic.2005.04.006","volume":"204","author":"LS Moss","year":"2006","unstructured":"Moss, L.S., Viglizzo, I.D.: Final coalgebras for functors on measurable spaces. Inf. Comput. 204(4), 610\u2013636 (2006)","journal-title":"Inf. Comput."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Kupke, C., Kurz, A., Pattinson, D.: Algebraic semantics for coalgebraic modal logic. In: Ad\u00e1mek, J. (ed.) Proceedings of the Workshop on Coalgebraic Methods in Computer Science (CMCS). Electronic Notes in Theoretical Computer Science, vol. 106 (2004)","DOI":"10.1016\/j.entcs.2004.02.037"},{"key":"2_CR22","first-page":"177","volume":"173","author":"B Klin","year":"2007","unstructured":"Klin, B.: Coalgebraic modal logic beyond sets. ENTCS 173, 177\u2013201 (2007)","journal-title":"ENTCS"},{"issue":"5","key":"2_CR23","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. Comput. 20(5), 1041\u20131068 (2010)","journal-title":"J. Log. Comput."},{"key":"2_CR24","unstructured":"Dahlqvist, F., Kurz, A.: The positivication of coalgebraic logics. In: Bonchi, F., K\u00f6nig, B. (eds.) CALCO 2017. LIPIcs, vol. 72, pp. 9:1\u20139:15 (2017)"},{"issue":"2","key":"2_CR25","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.ic.2007.10.006","volume":"207","author":"B Klin","year":"2009","unstructured":"Klin, B.: Bialgebraic methods and modal logic in structural operational semantics. Inf. Comput. 207(2), 237\u2013257 (2009)","journal-title":"Inf. Comput."},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Klin, B., Rot, J.: Coalgebraic trace semantics via forgetful logics. Log. Methods Comput. Sci. 12(4) (2016)","DOI":"10.2168\/LMCS-12(4:10)2016"},{"key":"2_CR27","first-page":"167","volume":"106","author":"B Jacobs","year":"2004","unstructured":"Jacobs, B.: Trace semantics for coalgebras. ENTCS 106, 167\u2013184 (2004)","journal-title":"ENTCS"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1571-0661(04)00063-5","volume":"11","author":"J Rutten","year":"1998","unstructured":"Rutten, J.: Relators and metric bisimulation (extended abstract). Electron. Notes Theor. Comput. Sci. 11, 1\u20137 (1998)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"2_CR29","doi-asserted-by":"crossref","unstructured":"Kupke, C., Venema, Y.: Coalgebraic automata theory: basic results. Log. Methods Comput. Sci. 4(4) (2008)","DOI":"10.2168\/LMCS-4(4:10)2008"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Kupke, C., Kurz, A., Venema, Y.: Completeness for the coalgebraic cover modality. Log. Methods Comput. Sci. 8(3) (2012)","DOI":"10.2168\/LMCS-8(3:2)2012"},{"key":"2_CR31","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.tcs.2014.06.018","volume":"549","author":"M B\u00edlkov\u00e1","year":"2014","unstructured":"B\u00edlkov\u00e1, M., Palmigiano, A., Venema, Y.: Proof systems for Moss\u2019 coalgebraic logic. Theor. Comput. Sci. 549, 36\u201360 (2014)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"2_CR32","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.apal.2007.11.001","volume":"154","author":"L Santocanale","year":"2008","unstructured":"Santocanale, L.: Completions of $$\\mu $$-algebras. Ann. Pure Appl. Log. 154(1), 27\u201350 (2008)","journal-title":"Ann. Pure Appl. Log."},{"key":"2_CR33","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 fixpoint logics: a coalgebraic perspective. Inf. Comp. 204, 637\u2013678 (2006)","journal-title":"Inf. Comp."},{"key":"2_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1007\/978-3-642-14162-1_32","volume-title":"Automata, Languages and Programming","author":"G Fontaine","year":"2010","unstructured":"Fontaine, G., Leal, R., Venema, Y.: Automata for coalgebras: an approach using predicate liftings. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 381\u2013392. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14162-1_32"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"C\u00eerstea, C., Kupke, C., Pattinson, D.: EXPTIME tableaux for the coalgebraic $$\\mu $$-calculus. Log. Methods Comput. Sci. 7(3) (2011)","DOI":"10.2168\/LMCS-7(3:3)2011"},{"issue":"2","key":"2_CR36","doi-asserted-by":"publisher","first-page":"13:1","DOI":"10.1145\/1462179.1462185","volume":"10","author":"L Schr\u00f6der","year":"2009","unstructured":"Schr\u00f6der, L., Pattinson, D.: PSPACE bounds for rank-1 modal logics. ACM Trans. Comput. Logic 10(2), 13:1\u201313:33 (2009)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"1","key":"2_CR37","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.apal.2010.07.003","volume":"162","author":"L Santocanale","year":"2010","unstructured":"Santocanale, L., Venema, Y.: Completeness for flat modal fixpoint logics. Ann. Pure Appl. Logic 162(1), 55\u201382 (2010)","journal-title":"Ann. Pure Appl. Logic"},{"key":"2_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1007\/978-3-642-15375-4_36","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L Schr\u00f6der","year":"2010","unstructured":"Schr\u00f6der, L., Venema, Y.: Flat coalgebraic fixed point logics. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 524\u2013538. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15375-4_36"},{"key":"2_CR39","doi-asserted-by":"publisher","first-page":"90","DOI":"10.4204\/EPTCS.191.9","volume":"191","author":"Helle Hvid Hansen","year":"2015","unstructured":"Hansen, H.H., Kupke, C.: Weak completeness of coalgebraic dynamic logics. In: Matthes, R., Mio, M. (eds.) FICS 2015, pp. 90\u2013104 (2015)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"2_CR40","unstructured":"Enqvist, S., Seifan, F., Venema, Y.: Completeness for coalgebraic fixpoint logic. In: CSL 2016, pp. 7:1\u20137:19 (2016)"},{"key":"2_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-319-73579-5_8","volume-title":"Dynamic Logic. New Trends and Applications","author":"HH Hansen","year":"2018","unstructured":"Hansen, H.H., Kupke, C., Marti, J., Venema, Y.: Parity games and automata for game logic. In: Madeira, A., Benevides, M. (eds.) DALI 2017. LNCS, vol. 10669, pp. 115\u2013132. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-73579-5_8"},{"key":"2_CR42","doi-asserted-by":"publisher","first-page":"46","DOI":"10.4204\/EPTCS.226.4","volume":"226","author":"Nick Bezhanishvili","year":"2016","unstructured":"Bezhanishvili, N., Kupke, C.: Games for topological fixpoint logic. In: Cantone, D., Delzanno, G. (eds.) GandALF 2016. EPTCS, vol. 226, pp. 46\u201360 (2016)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"2_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-319-72056-2_5","volume-title":"Logical Foundations of Computer Science","author":"S Barlocco","year":"2018","unstructured":"Barlocco, S., Kupke, C.: Angluin learning via logic. In: Artemov, S., Nerode, A. (eds.) LFCS 2018. LNCS, vol. 10703, pp. 72\u201390. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-72056-2_5"},{"issue":"2","key":"2_CR44","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0890-5401(87)90052-6","volume":"75","author":"D Angluin","year":"1987","unstructured":"Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87\u2013106 (1987)","journal-title":"Inf. Comput."},{"key":"2_CR45","unstructured":"Ghani, N., Kupke, C., Lambert, A., Forsberg, F.N.: A compositional treatment of iterated open games. CoRR abs\/1711.07968 (2017)"},{"key":"2_CR46","unstructured":"Ghani, N., Hedges, J.: A compositional approach to economic game theory. CoRR abs\/1603.04641 (2016)"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T00:02:42Z","timestamp":1663545762000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-00389-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030003883","9783030003890"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00389-0_2","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"}]}}