{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:08Z","timestamp":1725512108716},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540719977"},{"type":"electronic","value":"9783540719984"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71998-4_8","type":"book-chapter","created":{"date-parts":[[2007,6,19]],"date-time":"2007-06-19T22:07:11Z","timestamp":1182290831000},"page":"127-141","source":"Crossref","is-referenced-by-count":1,"title":["Coalgebraic Modal Logic in CoCasl"],"prefix":"10.1007","author":[{"given":"Lutz","family":"Schr\u00f6der","sequence":"first","affiliation":[]},{"given":"Till","family":"Mossakowski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"CASL User Manual","year":"2004","unstructured":"Bidoit, M., Mosses, P.D. (eds.): CASL User Manual. LNCS, vol.\u00a02900. Springer, Heidelberg (2004)"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Chellas, B.: Modal Logic. Cambridge (1980)","DOI":"10.1017\/CBO9780511621192"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/978-3-540-28644-8_17","volume-title":"CONCUR 2004 - Concurrency Theory","author":"C. C\u00eerstea","year":"2004","unstructured":"C\u00eerstea, C., Pattinson, D.: Modular construction of modal logics. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 258\u2013275. Springer, Heidelberg (2004)"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s001530100110","volume":"41","author":"G. D\u2019Agostino","year":"2002","unstructured":"D\u2019Agostino, G., Visser, A.: Finality regained: A coalgebraic study of Scott-sets and multisets. Arch. Math. Logic\u00a041, 267\u2013298 (2002)","journal-title":"Arch. Math. Logic"},{"key":"8_CR5","series-title":"ENTCS","first-page":"121","volume-title":"Coalgebraic Methods in Computer Science, CMCS 04","author":"H.H. Hansen","year":"2004","unstructured":"Hansen, H.H., Kupke, C.: A coalgebraic perspective on monotone modal logic. In: Coalgebraic Methods in Computer Science, CMCS 04. ENTCS, vol.\u00a0106, pp. 121\u2013143. Elsevier, Amsterdam (2004)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/j.tcs.2006.07.006","volume":"366","author":"D. Hausmann","year":"2006","unstructured":"Hausmann, D., Mossakowski, T., Schr\u00f6der, L.: A coalgebraic approach to the semantics of the ambient calculus. Theoret. Comput. Sci.\u00a0366, 121\u2013143 (2006)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1006\/game.1999.0788","volume":"35","author":"A. Heifetz","year":"2001","unstructured":"Heifetz, A., Mongin, P.: Probabilistic logic for type spaces. Games and Economic Behavior\u00a035, 31\u201353 (2001)","journal-title":"Games and Economic Behavior"},{"key":"8_CR8","series-title":"ENTCS","volume-title":"Coalgebraic Methods in Computer Science, CMCS 00","author":"B. Jacobs","year":"2000","unstructured":"Jacobs, B.: Towards a duality result in the modal logic of coalgebras. In: Coalgebraic Methods in Computer Science, CMCS 00. ENTCS, vol.\u00a033, Elsevier, Amsterdam (2000)"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol.\u00a03629, pp. 263\u2013277. Springer, Heidelberg (2005)"},{"key":"8_CR10","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S0304-3975(00)00125-0","volume":"260","author":"A. Kurz","year":"2001","unstructured":"Kurz, A.: Specifying coalgebras with modal logic. Theoret. Comput. Sci.\u00a0260, 119\u2013138 (2001)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1007\/3-540-45931-6_17","volume-title":"Foundations of Software Science and Computation Structures","author":"A. Kurz","year":"2002","unstructured":"Kurz, A.: Logics admitting final semantics. In: Nielsen, M., Engberg, U. (eds.) ETAPS 2002 and FOSSACS 2002. LNCS, vol.\u00a02303, pp. 238\u2013249. Springer, Heidelberg (2002)"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K. Larsen","year":"1991","unstructured":"Larsen, K., Skou, A.: Bisimulation through probabilistic testing. Inform. Comput.\u00a094, 1\u201328 (1991)","journal-title":"Inform. Comput."},{"key":"8_CR13","unstructured":"Mossakowski, T.: Heterogeneous specification and the heterogeneous tool set. Habilitation thesis, University of Bremen (2004)"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.jlap.2005.09.006","volume":"67","author":"T. Mossakowski","year":"2006","unstructured":"Mossakowski, T., Schr\u00f6der, L., Roggenbach, M., Reichel, H.: Algebraic-co-algebraic specification in CoCASL. J. Logic Algebraic Programming\u00a067, 146\u2013197 (2006)","journal-title":"J. Logic Algebraic Programming"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","volume-title":"CASL Reference Manual","year":"2004","unstructured":"Mosses, P.D. (ed.): CASL Reference Manual. LNCS, vol.\u00a02960. Springer, Heidelberg (2004)"},{"key":"8_CR16","first-page":"598","volume-title":"Principles of Knowledge Representation and Reasoning, KR 04","author":"E. Pacuit","year":"2004","unstructured":"Pacuit, E., Salame, S.: Majority logic. In: Principles of Knowledge Representation and Reasoning, KR 04, pp. 598\u2013604. AAAI Press, Menlo Park (2004)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/3-540-44693-1_45","volume-title":"STACS 2001","author":"D. Pattinson","year":"2001","unstructured":"Pattinson, D.: Semantical principles in the modal logic of coalgebras. In: Ferreira, A., Reichel, H. (eds.) STACS 2001. LNCS, vol.\u00a02010, pp. 514\u2013526. Springer, Heidelberg (2001)"},{"key":"8_CR18","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 Logic\u00a045, 19\u201333 (2004)","journal-title":"Notre Dame J. Formal Logic"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Peyton-Jones, S.: Haskell 98 Language and Libraries \u2014 The Revised Report (Also: J. Funct. Programming 13 (2003)). Cambridge (2003)","DOI":"10.1017\/S0956796803000315"},{"key":"8_CR20","series-title":"ENTCS","volume-title":"Coalgebraic Methods in Computer Science, CMCS 00","author":"M. R\u00f6\u00dfiger","year":"2000","unstructured":"R\u00f6\u00dfiger, M.: Coalgebras and modal logic. In: Coalgebraic Methods in Computer Science, CMCS 00. ENTCS, vol.\u00a033, Elsevier, Amsterdam (2000)"},{"key":"8_CR21","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. Theoret. Comput. Sci.\u00a0249, 3\u201380 (2000)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/978-3-540-31982-5_28","volume-title":"Foundations of Software Science and Computational Structures","author":"L. Schr\u00f6der","year":"2005","unstructured":"Schr\u00f6der, L.: Expressivity of coalgebraic modal logic: the limits and beyond (Extended version to appear in: Theoret. Comput. Sci.). In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 440\u2013454. Springer, Heidelberg (2005)"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/11690634_11","volume-title":"Foundations of Software Science and Computation Structures","author":"L. Schr\u00f6der","year":"2006","unstructured":"Schr\u00f6der, L.: A finite model construction for coalgebraic modal logic (Extended version to appear in: J. Logic Algebraic Programming). In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006 and ETAPS 2006. LNCS, vol.\u00a03921, pp. 157\u2013171. Springer, Heidelberg (2006)"},{"key":"8_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/978-3-540-31959-7_14","volume-title":"Recent Trends in Algebraic Development Techniques","author":"L. Schr\u00f6der","year":"2005","unstructured":"Schr\u00f6der, L., Mossakowski, T., L\u00fcth, C.: Type class polymorphism in an institutional framework. In: Fiadeiro, J.L., Mosses, P.D., Orejas, F. (eds.) WADT 2004. LNCS, vol.\u00a03423, pp. 234\u2013248. Springer, Heidelberg (2005)"},{"key":"8_CR25","unstructured":"Schr\u00f6der, L., Mossakowski, T., Maeder, C.: HasCASL \u2013 Integrated functional specification and programming. Language summary(2003), Available at, http:\/\/www.informatik.uni-bremen.de\/agbkb\/forschung\/formal_methods\/CoFI\/HasCASL"},{"key":"8_CR26","first-page":"231","volume-title":"Logic in Computer Science, LICS 06","author":"L. Schr\u00f6der","year":"2006","unstructured":"Schr\u00f6der, L., Pattinson, D.: PSPACE reasoning for rank-1 modal logics. In: Logic in Computer Science, LICS 06, pp. 231\u2013240. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"8_CR27","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1995.1004","volume":"116","author":"B. Thomsen","year":"1995","unstructured":"Thomsen, B.: A theory of higher order communicating systems. Inform. and Comput.\u00a0116, 38\u201357 (1995)","journal-title":"Inform. and Comput."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71998-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:27:55Z","timestamp":1605763675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71998-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540719977","9783540719984"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71998-4_8","relation":{},"subject":[]}}