{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:54:05Z","timestamp":1725490445093},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540734192"},{"type":"electronic","value":"9783540734208"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73420-8_41","type":"book-chapter","created":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T10:58:43Z","timestamp":1188039523000},"page":"459-471","source":"Crossref","is-referenced-by-count":12,"title":["Modular Algorithms for Heterogeneous Modal Logics"],"prefix":"10.1007","author":[{"given":"Lutz","family":"Schr\u00f6der","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"41_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: Gumm, H.-P. (ed.) Coalgebraic Methods in Computer Science. ENTCS, vol.\u00a082, Elsevier, Amsterdam (2003)"},{"key":"41_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"41_CR3","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic","author":"B. Chellas","year":"1980","unstructured":"Chellas, B.: Modal Logic. Cambridge University Press, Cambridge (1980)"},{"key":"41_CR4","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. Theoret. Copmut. Sci. (to appear). Earlier version In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol.\u00a03170, pp. 258\u2013275. Springer, Heidelberg (2004)"},{"key":"41_CR5","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":"41_CR6","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1305\/ndjfl\/1093890715","volume":"13","author":"K. Fine","year":"1972","unstructured":"Fine, K.: In so many possible worlds. Notre Dame J. Formal Logic\u00a013, 516\u2013520 (1972)","journal-title":"Notre Dame J. Formal Logic"},{"key":"41_CR7","volume-title":"Reasoning About Uncertainty","author":"J.Y. Halpern","year":"2003","unstructured":"Halpern, J.Y.: Reasoning About Uncertainty. MIT Press, Cambridge (2003)"},{"key":"41_CR8","first-page":"278","volume-title":"Real-Time Systems, RTSS 90","author":"H. Hansson","year":"1990","unstructured":"Hansson, H., Jonsson, B.: A calculus for communicating systems with time and probabilities. In: Real-Time Systems, RTSS 90, pp. 278\u2013287. IEEE Computer Society Press, Los Alamitos (1990)"},{"key":"41_CR9","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":"41_CR10","series-title":"Logic in Computer Science","first-page":"164","volume-title":"LICS 1994","author":"E. Hemaspaandra","year":"1994","unstructured":"Hemaspaandra, E.: Complexity transfer for modal logic. In: Abramsy, S. (ed.) LICS 1994. Logic in Computer Science, pp. 164\u2013173. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"41_CR11","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1051\/ita:2001108","volume":"35","author":"B. Jacobs","year":"2001","unstructured":"Jacobs, B.: Many-sorted coalgebraic modal logic: a model-theoretic study. Theor. Inform. Appl.\u00a035, 31\u201359 (2001)","journal-title":"Theor. Inform. Appl."},{"key":"41_CR12","volume-title":"Handbook of Process Algebra","author":"B. Jonsson","year":"2001","unstructured":"Jonsson, B., Yi, W., Larsen, K.G.: Probabilistic extensions of process algebras. In: Bergstra, J., Ponse, A., Smolka, S.M. (eds.) Handbook of Process Algebra, Elsevier, Amsterdam (2001)"},{"key":"41_CR13","volume-title":"Handbook of Modal Logic","author":"A. Kurucz","year":"2006","unstructured":"Kurucz, A.: Combining modal logics. In: van Benthem, J., Blackburn, P., Wolter, F. (eds.) Handbook of Modal Logic, Elsevier, Amsterdam (2006)"},{"key":"41_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2004.02.002","volume":"156","author":"O. Kutz","year":"2004","unstructured":"Kutz, O., Lutz, C., Wolter, F., Zakharyaschev, M.: \n                    \n                      \n                    \n                    $\\mathcal E$\n                  -connections of abstract description systems. Artificial Intelligence\u00a0156, 1\u201373 (2004)","journal-title":"Artificial Intelligence"},{"key":"41_CR15","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":"41_CR16","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-coalgebraic specification in CoCASL. J. Logic Algebraic Programming\u00a067, 146\u2013197 (2006)","journal-title":"J. Logic Algebraic Programming"},{"key":"41_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":"41_CR18","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","volume":"12","author":"M. Pauly","year":"2002","unstructured":"Pauly, M.: A modal logic for coalitional power in games. J. Logic Comput.\u00a012, 149\u2013166 (2002)","journal-title":"J. Logic Comput."},{"key":"41_CR19","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":"41_CR20","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":"Earlier version in Foundations of Software Science And Computation Structures","author":"L. Schr\u00f6der","year":"2005","unstructured":"Schr\u00f6der, L.: Expressivity of coalgebraic modal logic: the limits and beyond. Theoret. Comput. Sci. Earlier version In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 440\u2013454. Springer, Heidelberg (2005) (to appear)"},{"key":"41_CR21","unstructured":"Schr\u00f6der, L.: A semantic PSPACE criterion for the next 700 rank 0-1 modal logics, available at \n                    \n                      http:\/\/www.informatik.uni-bremen.de\/~lschrode\/papers\/rank01pspace.pdf"},{"key":"41_CR22","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. In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) FOSSACS 2006 and ETAPS 2006. LNCS, vol.\u00a03921, pp. 157\u2013171. Springer, Heidelberg (2006)"},{"key":"41_CR23","first-page":"231","volume-title":"LICS 2006","author":"L. Schr\u00f6der","year":"2006","unstructured":"Schr\u00f6der, L., Pattinson, D.: PSPACE reasoning for rank-1 modal logics. In: Alur, R. (ed.) LICS 2006. Logic in Computer Science, pp. 231\u2013240. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"41_CR24","unstructured":"Segala, R.: Modelling and Verification of Randomized Distributed Real-Time Systems. PhD thesis, Massachusetts Institute of Technology (1995)"},{"key":"41_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 Comput.\u00a011, 85\u2013106 (2001)","journal-title":"J. Logic Comput."},{"key":"41_CR26","series-title":"CSLI Lect. Notes","first-page":"361","volume-title":"Advances in modal logic","author":"F. Wolter","year":"1998","unstructured":"Wolter, F.: Fusions of modal logics revisited. In: Zakharyaschev, M., Segerberg, K., de Rijke, M., Wansing, H. (eds.) Advances in modal logic. CSLI Lect. Notes, vol.\u00a01, pp. 361\u2013379. CSLI, Stanford (1998)"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73420-8_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:11:10Z","timestamp":1619503870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73420-8_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540734192","9783540734208"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73420-8_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}