{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:12:34Z","timestamp":1725732754446},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664505"},{"type":"electronic","value":"9783662010693"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-662-01069-3_39","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T14:47:02Z","timestamp":1371739622000},"page":"273-280","source":"Crossref","is-referenced-by-count":0,"title":["Modal Logic for Coalgebras"],"prefix":"10.1007","author":[{"given":"Martin","family":"R\u00f6\u00dfiger","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","volume-title":"Stanford","author":"P Aczel","year":"1988","unstructured":"Aczel, P., Non-well-founded sets, CSLI Lecture Notes 14, Stanford, 1988."},{"key":"39_CR2","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/BFb0018361","volume-title":"Category Theory and Computer Science","author":"P Aczel","year":"1989","unstructured":"Aczel, P. and Mendler, N., A final coalgebra theorem. In: Category Theory and Computer Science, D.-H. Pitt, A. Poign\u00e9, and D.E. Rydeheard (eds.), LNCS 389 (1989) 357\u2013365."},{"key":"39_CR3","unstructured":"Baltag, A., Truth-as-Simulation: towards a coalgebraic perspective on logic and games. (unpublished manuscript)"},{"issue":"2","key":"39_CR4","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/0304-3975(93)90076-6","volume":"114","author":"M Barr","year":"1993","unstructured":"Barr, M., Terminal coalgebras in well-founded set theory, TCS 114 (2) (1993) 299\u2013315.","journal-title":"TCS"},{"key":"39_CR5","volume-title":"CSLI Lecture Notes 60 CSLI","author":"J Barwise","year":"1996","unstructured":"Barwise, J. and Moss, L., Vicious Circles: On the Mathematics of Non-\n wellfounded Phenomena, CSLI Lecture Notes 60, CSLI, 1996."},{"key":"39_CR6","volume-title":"A complete calculus for equational deduction in coalgebraic specification, Report SEN-R9723","author":"A Corradini","year":"1997","unstructured":"Corradini, A., A complete calculus for equational deduction in coalgebraic specification, Report SEN-R9723, National Research Institute for Mathematics and Computer Science, Amsterdam, 1997."},{"key":"39_CR7","first-page":"75","volume":"48","author":"B Cs\u00e2kt\u00edny","year":"1985","unstructured":"Cs\u00e2kt\u00edny, B., Completeness in coalgebras, Acta Sci. Math. 48 (1985) 75\u201384.","journal-title":"Acta Sci Math"},{"key":"39_CR8","first-page":"17","volume-title":"On quasicovarieties, Acta F","author":"K Drbohlav","year":"1971","unstructured":"Drbohlav, K., On quasicovarieties, Acta F. R. N. Univ. Comen. Math., mimoriadne Cislo, 1971, 17\u201320."},{"key":"39_CR9","doi-asserted-by":"crossref","first-page":"89","DOI":"10.4064\/cm-14-1-89-106","volume":"14","author":"P Freyd","year":"1966","unstructured":"Freyd, P., Algebra valued functors in general and tensor products in par-ticular, Colloq. Math. 14 (1966) 89\u2013106.","journal-title":"Colloq Math"},{"key":"39_CR10","volume-title":"CSLI Lecture Notes 7 CSLI","author":"R Goldblatt","year":"1987","unstructured":"Goldblatt, R., Logics of time and computation, CSLI Lecture Notes 7, CSLI, 1987."},{"key":"39_CR11","volume-title":"Equational and Implicational Classes of Coalgebras, Re1MiCS4. The 4th International Seminar on Relational Methods in Logic","author":"HP Gumm","year":"1998","unstructured":"Gumm, H.P., Equational and Implicational Classes of Coalgebras, Re1MiCS\u20194. The 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science, Warsaw, 1998."},{"key":"39_CR12","volume-title":"Definition and Proof Principles for Data and Processes","author":"U Hensel","year":"1999","unstructured":"Hensel, U., Definition and Proof Principles for Data and Processes, Ph.D. thesis, Techn. Univ. Dresden, 1999."},{"key":"39_CR13","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0026991","volume-title":"Category Theory and Computer Science, LNCS","author":"U Hensel","year":"1997","unstructured":"Hensel, U. and Jacobs, B., Proof Principles for Iterated Datatypes. In: E. Moggi and G. Rosolini (eds), Category Theory and Computer Science, LNCS 1290 (1997) 220\u2013241."},{"key":"39_CR14","first-page":"307","volume-title":"Lncs","author":"U Hensel","year":"1995","unstructured":"Hensel, U. and Reichel, H., Defining equations in terminal coalgebras. In: Recent Trends in Data Type Specification, Egidio Astesiano, Gianna Reggio, and Andrzej Tarlecki (eds.), LNCS 906 (1995) 307\u2013318."},{"key":"39_CR15","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-60043-4_57","volume-title":"Algebraic Methods and Software Technology","author":"B Jacobs","year":"1995","unstructured":"Jacobs, B., Mongruences and cofree coalgebras. In: Algebraic Methods and Software Technology, V.S. Alagar and M. Nivat (eds.), LNCS 936 (1995) 245\u2013260."},{"key":"39_CR16","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-1-4613-1437-0_5","volume-title":"Object-Orientation with Parallelism and Persistence","author":"B Jacobs","year":"1996","unstructured":"Jacobs, B., Objects and classes, co-algebraically. In: Object-Orientation with Parallelism and Persistence, B. Freitag, C.B. Jones, C. Lengauer, and H.-J. Schek (eds.), Kluwer Acad. Publ., 1996, 83\u2013103."},{"key":"39_CR17","volume-title":"The Temporal Logic of Coalgebras via Galois Algebras, Tech-nical Report CSI-R9906","author":"B Jacobs","year":"1999","unstructured":"Jacobs, B., The Temporal Logic of Coalgebras via Galois Algebras, Tech-nical Report CSI-R9906, Computing Science Institute, University of Nijmegen, 1999."},{"key":"39_CR18","first-page":"222","volume":"62","author":"B Jacobs","year":"1997","unstructured":"Jacobs, B. and Rutten, J., A tutorial on (co)algebras and (co)induction, EATCS Bulletin 62 (1997) 222\u2013259.","journal-title":"EATCS Bulletin"},{"key":"39_CR19","volume-title":"Proceedings of Advances in Modal Logic, Uppsala, CSLI Stanford","author":"A Kurz","year":"1998","unstructured":"Kurz, A., A Co-Variety-Theorem for Modal Logic, Proceedings of Advances in Modal Logic, Uppsala, CSLI, Stanford, 1998."},{"key":"39_CR20","first-page":"57","volume":"11","author":"A Kurz","year":"1998","unstructured":"Kurz, A., Specifying coalgebras with modal logic, ENTCS 11 (1998), 57\u201371.","journal-title":"ENTCS"},{"key":"39_CR21","first-page":"51","volume":"21","author":"M Marvan","year":"1985","unstructured":"Marvan, M., On covarieties of coalgebras, Arch. M.th. Brno 21 (1985) 51\u201363.","journal-title":"Arch. M.th. M.th. Brno"},{"key":"39_CR22","volume-title":"Lncs","author":"R Milner","year":"1980","unstructured":"Milner, R., A Calculus of Communicating Systems, LNCS 92 (1980)."},{"key":"39_CR23","doi-asserted-by":"crossref","unstructured":"Moss, L., Coalgebraic logic,Ann. Pure and Appl. Logic, 1999. (to appear)","DOI":"10.1016\/S0168-0072(98)00042-6"},{"key":"39_CR24","unstructured":"P\u00f6schel, R. and R\u00f6ssiger, M., A General Galois Theory for Cofunctions and Corelations,Algebra Universalis. (to appear)"},{"key":"39_CR25","volume-title":"Cambridge University Press","author":"S Popkorn","year":"1994","unstructured":"Popkorn, S., First steps in modal logic, Cambridge University Press, 1994."},{"key":"39_CR26","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S0960129500000694","volume":"5","author":"H Reichel","year":"1995","unstructured":"Reichel, H., An approach to object semantics based on terminal co-algebras, Math. Struct. in Comp. Science 5 (1995) 129\u2013152.","journal-title":"Math. Struct. in Comp. Science"},{"key":"39_CR27","volume-title":"From Modal Logic to Terminal Coalgebras, Preprint MATH-AL-3-1998, Techn","author":"M Rossiger","year":"1998","unstructured":"Rossiger, M., From Modal Logic to Terminal Coalgebras, Preprint MATH-AL-3\u20131998, Techn. Univ. Dresden, 1998."},{"key":"39_CR28","volume-title":"Entcs","author":"M Rossiger","year":"1999","unstructured":"Rossiger, M., Languages for coalgebras on datafunctors, ENTCS 19 (1999)."},{"key":"39_CR29","unstructured":"Rutten, J., Universal coalgebra: a theory of systems,TCS, 1999. (to ap-pear)"},{"key":"39_CR30","unstructured":"Rutten, J., Automata and coinduction (an exercise in coalgebra). In: Pro-ceedings of CONCUR \u201888, D. Sangiorigi and R. de Simone (eds.), LNCS 1466 (1998) 194\u2013218."},{"key":"39_CR31","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1017\/S0960129598002588","volume":"8","author":"J Rutten","year":"1998","unstructured":"Rutten, J. and Turi, D., On the foundations of final semantics: non-wellfounded sets, partial orders, metric spaces, Math. Struct. in Comp. Science 8 (1998) 481\u2013540.","journal-title":"Math. Struct. in Comp. Science"},{"key":"39_CR32","first-page":"43","volume":"53","author":"Z Sz\u00e9kely","year":"1989","unstructured":"Sz\u00e9kely, Z., Maximal clones of co-operations, Acta Sci. Math. 53 (1989) 43\u201350.","journal-title":"Acta Sci Math"}],"container-title":["Informatik aktuell","Informatik\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-01069-3_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T09:25:18Z","timestamp":1557825918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-01069-3_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664505","9783662010693"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-01069-3_39","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1999]]}}}