{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T19:00:53Z","timestamp":1766084453125},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229435"},{"type":"electronic","value":"9783642229442"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22944-2_20","type":"book-chapter","created":{"date-parts":[[2011,8,25]],"date-time":"2011-08-25T05:45:59Z","timestamp":1314251159000},"page":"283-297","source":"Crossref","is-referenced-by-count":36,"title":["Hybridization of Institutions"],"prefix":"10.1007","author":[{"given":"Manuel A.","family":"Martins","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"R\u0103zvan","family":"Diaconescu","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds S.","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1093\/logcom\/11.5.657","volume":"11","author":"C. Areces","year":"2001","unstructured":"Areces, C., Blackburn, P., Delany, S.R.: Bringing them all together. Journal of Logic and Computation\u00a011, 657\u2013669 (2001)","journal-title":"Journal of Logic and Computation"},{"issue":"3","key":"20_CR2","doi-asserted-by":"publisher","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 Journal of IGPL\u00a08(3), 339\u2013365 (2000)","journal-title":"Logic Journal of IGPL"},{"issue":"2","key":"20_CR3","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(01)00317-6","volume":"286","author":"T. Borzyszkowski","year":"2002","unstructured":"Borzyszkowski, T.: Logical systems for structured specifications. Theoretical Computer Science\u00a0286(2), 197\u2013245 (2002)","journal-title":"Theoretical Computer Science"},{"key":"20_CR4","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/s10849-005-3927-y","volume":"14","author":"T. Bra\u00fcner","year":"2005","unstructured":"Bra\u00fcner, T.: Natural deduction for first-order hybrid logic. Journal of Logic, Language and Information\u00a014, 173 (2005)","journal-title":"Journal of Logic, Language and Information"},{"key":"20_CR5","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. Bra\u00fcner","year":"2011","unstructured":"Bra\u00fcner, T.: Hybrid Logic and its Proof-Theory. Applied Logic Series, vol.\u00a037. Springer, Heidelberg (2011)"},{"issue":"3","key":"20_CR6","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/j.jal.2005.06.009","volume":"4","author":"T. Bra\u00fcner","year":"2006","unstructured":"Bra\u00fcner, T., de Paiva, V.: Intuitionistic hybrid logic. J. Applied Logic\u00a04(3), 231\u2013255 (2006)","journal-title":"J. Applied Logic"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"292","DOI":"10.1007\/3-540-10007-5_41","volume-title":"1979 Copenhagen Winter School on Abstract Software Specification","author":"R. Burstall","year":"1980","unstructured":"Burstall, R., Goguen, J.: The semantics of Clear, a specification language. In: Bjorner, D. (ed.) 1979 Copenhagen Winter School on Abstract Software Specification. LNCS, vol.\u00a086, pp. 292\u2013332. Springer, Heidelberg (1980)"},{"key":"20_CR8","unstructured":"Cengarle, M.V.: The temporal logic institution. Technical report, Universitat Munchen, Insitut fur informatik (1998)"},{"key":"20_CR9","first-page":"2006","volume":"16","author":"R. Chadha","year":"2005","unstructured":"Chadha, R., Macedonio, D., Sassone, V.: A hybrid intuitionistic logic: Semantics and decidability. Journal of Logic and Computation\u00a016, 2006 (2005)","journal-title":"Journal of Logic and Computation"},{"issue":"2","key":"20_CR10","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/s11787-008-0035-1","volume":"2","author":"M. Codescu","year":"2008","unstructured":"Codescu, M., G\u0103in\u0103, D.: Birkhoff completeness in institutions. Logica Universalis\u00a02(2), 277\u2013309 (2008)","journal-title":"Logica Universalis"},{"key":"20_CR11","unstructured":"Demri, S., Lazic, R., Nowak, D.: On the freeze quantifier in constraint ltl: decidability and complexity. Technical Report LSV-05-03, Laboratoire Specification et Verification (2005)"},{"issue":"5","key":"20_CR12","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1093\/logcom\/14.5.651","volume":"14","author":"R. Diaconescu","year":"2004","unstructured":"Diaconescu, R.: Elementary diagrams in institutions. Journal of Logic and Computation\u00a014(5), 651\u2013674 (2004)","journal-title":"Journal of Logic and Computation"},{"key":"20_CR13","volume-title":"Institution-independent Model Theory","author":"R. Diaconescu","year":"2008","unstructured":"Diaconescu, R.: Institution-independent Model Theory. Birkh\u00e4user, Basel (2008)"},{"issue":"2","key":"20_CR14","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1016\/j.jlap.2009.09.001","volume":"79","author":"R. Diaconescu","year":"2010","unstructured":"Diaconescu, R.: Quasi-boolean encodings and conditionals in algebraic specification. Journal of Logic and Algebraic Programming\u00a079(2), 174\u2013188 (2010)","journal-title":"Journal of Logic and Algebraic Programming"},{"issue":"1-2","key":"20_CR15","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1016\/j.tcs.2007.02.068","volume":"379","author":"R. Diaconescu","year":"2007","unstructured":"Diaconescu, R., Stefaneas, P.S.: Ultraproducts and possible worlds semantics in institutions. Theor. Comput. Sci.\u00a0379(1-2), 210\u2013230 (2007)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"20_CR16","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"20_CR17","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/s001650200013","volume":"13","author":"J. Goguen","year":"2002","unstructured":"Goguen, J., Ro\u015fu, G.: Institution morphisms. Formal Aspects of Computing\u00a013, 274\u2013307 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"20_CR18","unstructured":"Hansen, J., Bolander, T., Bra\u00fcner, T.: Many-valued hybrid logic. In: Areces, C., Goldblatt, R. (eds.) Advances in Modal Logic, pp. 111\u2013132. College Publications (2008)"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Kara, A., Lange, M., Schwentick, T., Weber, V.: On the hybrid extension of CTL and CTL+. In: CoRR, abs\/0906.2541 (2009)","DOI":"10.1007\/978-3-642-03816-7_37"},{"key":"20_CR20","unstructured":"Martins, M., Madeira, A., Barbosa, L.: Reasoning about complex requirements in a uniform setting. Technical report, DI-CCTC-2-1-2011 (2011)"},{"key":"20_CR21","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0890-5401(91)90026-X","volume":"93","author":"S. Passy","year":"1991","unstructured":"Passy, S., Tinchev, T.: An essay in combinatory dynamic logic. Inf. Comput.\u00a093, 263\u2013332 (1991)","journal-title":"Inf. Comput."},{"key":"20_CR22","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"A.N. Prior","year":"1967","unstructured":"Prior, A.N.: Past, Present and Future. Oxford University Press, Oxford (1967)"},{"key":"20_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45744-5_7","volume-title":"Automated Reasoning","author":"U. Sattler","year":"2001","unstructured":"Sattler, U., Vardi, M.Y.: The hybrid \u03bc-calculus. In: Gor\u00e9, R., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 76\u201391. Springer, Heidelberg (2001)"},{"key":"20_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/978-3-642-04027-6_38","volume-title":"Computer Science Logic","author":"V. Weber","year":"2009","unstructured":"Weber, V.: On the complexity of branching-time logics. In: Gr\u00e4del, E., Kahle, R. (eds.) CSL 2009. LNCS, vol.\u00a05771, pp. 530\u2013545. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Algebra and Coalgebra in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22944-2_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T11:39:38Z","timestamp":1620041978000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22944-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229435","9783642229442"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22944-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}