{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:12:02Z","timestamp":1759032722129},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642402050"},{"type":"electronic","value":"9783642402067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40206-7_7","type":"book-chapter","created":{"date-parts":[[2013,8,26]],"date-time":"2013-08-26T23:29:41Z","timestamp":1377559781000},"page":"66-79","source":"Crossref","is-referenced-by-count":2,"title":["Many-Valued Relation Lifting and Moss\u2019 Coalgebraic Logic"],"prefix":"10.1007","author":[{"given":"Marta","family":"B\u00edlkov\u00e1","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mat\u011bj","family":"Dost\u00e1l","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"7_CR1","doi-asserted-by":"publisher","first-page":"991","DOI":"10.1093\/logcom\/exn090","volume":"20","author":"J. Ad\u00e1mek","year":"2010","unstructured":"Ad\u00e1mek, J., Gumm, H.P., Trnkov\u00e1, V.: Presentation of set functors: A coalgebraic perspective. Journal of Logic and Computation\u00a020(5), 991\u20131015 (2010)","journal-title":"Journal of Logic and Computation"},{"key":"7_CR2","unstructured":"Ad\u00e1mek, J., Trnkov\u00e1, V.: Automata and Algebras in Categories. Mathematics and its Applications. Kluwer (1990)"},{"key":"7_CR3","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BFb0060439","volume-title":"Reports of the Midwest Category Seminar IV","author":"M. Barr","year":"1970","unstructured":"Barr, M.: Relational algebras. In: Mac Lane, S., Applegate, H., Barr, M., Day, B., Dubuc, E., Phreilambud, Pultr, A., Street, R., Tierney, M., Swierczkowski, S. (eds.) Reports of the Midwest Category Seminar IV. Lecture Notes in Mathematics, vol.\u00a0137, pp. 39\u201355. Springer, Heidelberg (1970)"},{"key":"7_CR4","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":"7_CR5","doi-asserted-by":"crossref","unstructured":"B\u00edlkov\u00e1, M., Kurz, A., Petri\u015fan, D., Velebil, J.: Relation lifting, with an application to the many-valued cover modality. Log. Methods Comput. Sci. (accepted for publication, 2013)","DOI":"10.2168\/LMCS-9(4:8)2013"},{"issue":"5","key":"7_CR6","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1093\/logcom\/exp062","volume":"21","author":"F. Bou","year":"2011","unstructured":"Bou, F., Esteva, F., Godo, L., Rodr\u00edguez, R.: On the minimum many-valued modal logic over a finite residuated lattice. Journal of Logic and Computation\u00a021(5), 739\u2013790 (2011)","journal-title":"Journal of Logic and Computation"},{"key":"7_CR7","unstructured":"Dost\u00e1l, M.: Many-valued coalgebraic logic. Master\u2019s thesis, Czech Technical University (2013), http:\/\/cyber.felk.cvut.cz\/research\/theses\/papers\/322.pdf"},{"key":"7_CR8","unstructured":"Fitting, M.: Many-valued modal logics. In: Fundamenta Informaticae, pp. 365\u2013448. Kluwer Academic Publishers (1992)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Many-valued modal logics ii. Fundamenta Informaticae\u00a017 (1992)","DOI":"10.3233\/FI-1992-171-205"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/11548133_13","volume-title":"Algebra and Coalgebra in Computer Science","author":"H.P. Gumm","year":"2005","unstructured":"Gumm, H.P.: From T-coalgebras to filter structures and transition systems. In: Fiadeiro, J.L., Harman, N.A., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol.\u00a03629, pp. 194\u2013212. Springer, Heidelberg (2005)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Kupke, C., Kurz, A., Venema, Y.: Completeness for the coalgebraic cover modality. Logical Methods in Computer Science\u00a08(3) (2012)","DOI":"10.2168\/LMCS-8(3:2)2012"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Kurz, A., Leal, R.: Modalities in the stone age: A comparison of coalgebraic logics. Theoretical Computer Science\u00a0430, 88\u2013116 (2012); Mathematical Foundations of Programming Semantics (MFPS XXV)","DOI":"10.1016\/j.tcs.2012.03.027"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Moss, L.: Coalgebraic logic. Annals of Pure and Applied Logic\u00a096 (1999)","DOI":"10.1016\/S0168-0072(98)00042-6"},{"key":"7_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/3-540-08442-8_101","volume-title":"Fundamentals of Computation Theory","author":"V. Trnkov\u00e1","year":"1977","unstructured":"Trnkov\u00e1, V.: Relational automata in a category and their languages. In: Karpinski, M. (ed.) FCT 1977. LNCS, vol.\u00a056, pp. 340\u2013355. Springer, Heidelberg (1977)"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40206-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,4]],"date-time":"2022-03-04T17:30:18Z","timestamp":1646415018000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40206-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642402050","9783642402067"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40206-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}