{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:47:53Z","timestamp":1725544073717},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330455"},{"type":"electronic","value":"9783540330462"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11690634_11","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T09:15:28Z","timestamp":1143537328000},"page":"157-171","source":"Crossref","is-referenced-by-count":13,"title":["A Finite Model Construction for Coalgebraic Modal Logic"],"prefix":"10.1007","author":[{"given":"Lutz","family":"Schr\u00f6der","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","series-title":"ENTCS","volume-title":"Coalgebraic Methods in Computer Science","author":"F. Bartels","year":"2003","unstructured":"Bartels, F., Sokolova, A., de Vink, E.: A hierarchy of probabilistic system types. In: Coalgebraic Methods in Computer Science. ENTCS, vol.\u00a082, Elsevier, Amsterdam (2003)"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, Cambridge (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/S0022-0000(71)80005-3","volume":"5","author":"J.W. Carlyle","year":"1971","unstructured":"Carlyle, J.W., Paz, A.: Realizations by stochastic finite automata. J. Comput. System Sci.\u00a05, 26\u201340 (1971)","journal-title":"J. Comput. System Sci."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Chellas, B.: Modal Logic. Cambridge (1980)","DOI":"10.1017\/CBO9780511621192"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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":"11_CR6","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":"11_CR7","first-page":"175","volume-title":"Theoretical Aspects of Rationality and Knowledge","author":"A. Heifeitz","year":"1998","unstructured":"Heifeitz, A., Mongin, P.: The modal logic of probability. In: Theoretical Aspects of Rationality and Knowledge, pp. 175\u2013186. Morgan Kaufmann, San Francisco (1998)"},{"key":"11_CR8","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":"11_CR9","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1145\/2455.2460","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy, M., Milner, R.: Algebraic laws for non-determinism and concurrency. J. ACM\u00a032, 137\u2013161 (1985)","journal-title":"J. ACM"},{"key":"11_CR10","series-title":"ENTCS","volume-title":"Coalgebraic Methods in Computer Science","author":"B. Jacobs","year":"2000","unstructured":"Jacobs, B.: Towards a duality result in the modal logic of coalgebras. In: Coalgebraic Methods in Computer Science. ENTCS, vol.\u00a033, Elsevier, Amsterdam (2000)"},{"key":"11_CR11","series-title":"ENTCS","first-page":"219","volume-title":"Coalgebraic Methods in Computer Science","author":"C. Kupke","year":"2004","unstructured":"Kupke, C., Kurz, A., Pattinson, D.: Algebraic semantics for coalgebraic logics. In: Coalgebraic Methods in Computer Science. ENTCS, vol.\u00a0106, pp. 219\u2013241. Elsevier, Amsterdam (2004)"},{"key":"11_CR12","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":"11_CR13","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":"11_CR14","unstructured":"Mossakowski, T., Schr\u00f6der, L., Roggenbach, M., Reichel, H.: Algebraic-co-algebraic specification in CoCASL. J. Logic Algebraic Programming (to appear)"},{"key":"11_CR15","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":"11_CR16","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. Theoret. Comput. Sci.\u00a0309, 177\u2013193 (2003)","journal-title":"Theoret. Comput. Sci."},{"key":"11_CR17","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":"11_CR18","doi-asserted-by":"crossref","unstructured":"Popkorn, S.: First Steps in Modal Logic. Cambridge (1994)","DOI":"10.1017\/CBO9780511983382"},{"key":"11_CR19","series-title":"ENTCS","volume-title":"Coalgebraic Methods in Computer Science","author":"M. R\u00f6\u00dfiger","year":"2000","unstructured":"R\u00f6\u00dfiger, M.: Coalgebras and modal logic. In: Coalgebraic Methods in Computer Science. ENTCS, vol.\u00a033, Elsevier, Amsterdam (2000)"},{"key":"11_CR20","first-page":"175","volume":"7","author":"J. Rothe","year":"2001","unstructured":"Rothe, J., Tews, H., Jacobs, B.: The Coalgebraic Class Specification Language CCSL. J. Universal Comput. Sci.\u00a07, 175\u2013193 (2001)","journal-title":"J. Universal Comput. Sci."},{"key":"11_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":"11_CR22","volume-title":"Theory of linear and integer programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of linear and integer programming. Wiley Interscience, Chichester (1986)"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 440\u2013454. Springer, Heidelberg (2005)"},{"key":"11_CR24","unstructured":"Schr\u00f6der, L., Pattinson, D.: PSPACE reasoning for coalgebraic modal logic (in preparation)"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1093\/logcom\/11.1.85","volume":"11","author":"S. Tobies","year":"2001","unstructured":"Tobies, S.: PSPACE reasoning for graded modal logics. J. Logic Computation\u00a011, 85\u2013106 (2001)","journal-title":"J. Logic Computation"},{"key":"11_CR26","first-page":"15","volume":"506","author":"P. Turakainen","year":"1972","unstructured":"Turakainen, P.: On the minimization of linear space automata. Ann. Acad. Sci. Fenn. Ser. A I\u00a0506, 15 (1972)","journal-title":"Ann. Acad. Sci. Fenn. Ser. A I"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/11548133_25","volume-title":"Algebra and Coalgebra in Computer Science","author":"I. Viglizzo","year":"2005","unstructured":"Viglizzo, I.: Final sequences and final coalgebras for measurable spaces. In: Fiadeiro, J.L., Harman, N.A., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol.\u00a03629, pp. 395\u2013407. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11690634_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T01:35:39Z","timestamp":1552354539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11690634_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330455","9783540330462"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/11690634_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}