{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:03Z","timestamp":1740099063806,"version":"3.37.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319735788"},{"type":"electronic","value":"9783319735795"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-73579-5_4","type":"book-chapter","created":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T21:32:44Z","timestamp":1514842364000},"page":"55-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Layered Logics, Coalgebraically"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Soares","family":"Barbosa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,3]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic J. IGPL 8(3), 339\u2013365 (2000)","journal-title":"Logic J. IGPL"},{"key":"4_CR2","series-title":"Applied Logic Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0002-4","volume-title":"Hybrid Logic and its Proof-Theory","author":"T Brauner","year":"2010","unstructured":"Brauner, T.: Hybrid Logic and its Proof-Theory. Applied Logic Series. Springer, Dordrecht (2010). https:\/\/doi.org\/10.1007\/978-94-007-0002-4"},{"issue":"1","key":"4_CR3","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1093\/comjnl\/bxp004","volume":"54","author":"C C\u00eerstea","year":"2011","unstructured":"C\u00eerstea, C., Kurz, A., Pattinson, D., Schr\u00f6der, L., Venema, Y.: Modal logics are coalgebraic. Comput. J. 54(1), 31\u201341 (2011)","journal-title":"Comput. J."},{"issue":"3","key":"4_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987)","journal-title":"Sci. Comput. Program."},{"issue":"38","key":"4_CR5","doi-asserted-by":"crossref","first-page":"5070","DOI":"10.1016\/j.tcs.2011.04.023","volume":"412","author":"C Kupke","year":"2011","unstructured":"Kupke, C., Pattinson, D.: Coalgebraic semantics of modal logics: an overview. Theor. Comput. Sci. 412(38), 5070\u20135094 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1016\/j.tcs.2012.03.027","volume":"430","author":"A Kurz","year":"2012","unstructured":"Kurz, A., Leal, R.L.: Modalities in the stone age: a comparison of coalgebraic logics. Theor. Comput. Sci. 430, 88\u2013116 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Madeira, A., Martins, M.A., Barbosa, L.S.: A logic for $$n$$ n -dimensional hierarchical refinement. In: Derrick, J., Boiten, E.A., Reeves, S. (eds.) Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015, EPTCS, vol. 209, pp. 40\u201356 (2016)","DOI":"10.4204\/EPTCS.209.4"},{"issue":"2","key":"4_CR8","first-page":"1","volume":"27","author":"A Madeira","year":"2014","unstructured":"Madeira, A., Martins, M.A., Barbosa, L.S., Hennicker, R.: Refinement in hybridised institutions. Formal Aspects Comput. 27(2), 1\u201321 (2014)","journal-title":"Formal Aspects Comput."},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-00596-1_11","volume-title":"Foundations of Software Science and Computational Structures","author":"R Myers","year":"2009","unstructured":"Myers, R., Pattinson, D., Schr\u00f6der, L.: Coalgebraic hybrid logic. In: de Alfaro, L. (ed.) FoSSaCS 2009. LNCS, vol. 5504, pp. 137\u2013151. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00596-1_11"},{"issue":"5","key":"4_CR10","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.1016\/j.jlamp.2016.05.005","volume":"85","author":"R Neves","year":"2016","unstructured":"Neves, R., Barbosa, L.S., Hofmann, D., Martins, M.A.: Continuity as a computational effect. J. Log. Algebr. Meth. Program. 85(5), 1057\u20131085 (2016)","journal-title":"J. Log. Algebr. Meth. Program."},{"issue":"1","key":"4_CR11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0304-3975(00)00056-6","volume":"249","author":"JJMM Rutten","year":"2000","unstructured":"Rutten, J.J.M.M.: Universal coalgebra: a theory of systems. Theor. Comput. Sci 249(1), 3\u201380 (2000). Revised version of CWI Technical report CS-R9652 (1996)","journal-title":"Theor. Comput. Sci"},{"key":"4_CR12","unstructured":"Schr\u00f6der, L., Pattinson, D.: Named models in coalgebraic hybrid logic. In: Marion, J.-Y., Schwentick, T. (eds.) 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, Leibniz International Proceedings in Informatics, vol. 5, pp. 645\u2013656. Schloss Dagstuhl - Leibniz-Center of Informatics, Dagstuhl (2010)"}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-73579-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T18:33:55Z","timestamp":1570559635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-73579-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319735788","9783319735795"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-73579-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}