{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:26:41Z","timestamp":1748071601428},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000490","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T06:30:36Z","timestamp":1128493836000},"page":"465-478","source":"Crossref","is-referenced-by-count":6,"title":["Synchronization of logics with mixed rules: Completeness preservation"],"prefix":"10.1007","author":[{"given":"Am\u00edlcar","family":"Sernadas","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Carlos","family":"Caleiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"M. Arrais and J. Fiadeiro. Unifying theories in different institutions. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specification, pages 81\u2013101. Springer-Verlag, LNCS 1130, 1996.","DOI":"10.1007\/3-540-61629-2_38"},{"key":"32_CR2","unstructured":"P. Blackburn and M. de Rijke. Why combine logics. Studia Logica, 58, 1997. In print."},{"key":"32_CR3","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","volume":"173","author":"M. Cerioli","year":"1997","unstructured":"M. Cerioli and J. Meseguer. May I borrow your logic? (Transporting logical structures along maps). Theoretical Computer Science, 173:311\u2013347, 1997.","journal-title":"Theoretical Computer Science"},{"key":"32_CR4","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"M. Finger and D. Gabbay. Adding a temporal dimension to a logic system. Journal of Logic, Language and Information, 1:203\u2013233, 1992.","journal-title":"Journal of Logic, Language and Information"},{"key":"32_CR5","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1305\/ndjfl\/1040046087","volume":"37","author":"M. Finger","year":"1996","unstructured":"M. Finger and D. Gabbay. Combining temporal logic systems. Notre Dame Journal of Formal Logic, 37:204\u2013232, 1996.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"D. Gabbay. An overview of fibred semantics and the combination of logics. In F. Baader and K. Schulz, editors, Frontiers of Combining Systems, pages 1\u201355. Kluwer Academic Publishers, 1996.","DOI":"10.1007\/978-94-009-0349-4_1"},{"issue":"1","key":"32_CR7","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"J. Goguen and R. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"key":"32_CR8","unstructured":"R. Goldblatt. Logics of Time and Computation. CSLI, 1992. Second edition."},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"D. Harel. Dynamic logic. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, vol II, pages 497\u2013604. Kluwer, 1984.","DOI":"10.1007\/978-94-009-6259-0_10"},{"issue":"4","key":"32_CR10","doi-asserted-by":"crossref","first-page":"1469","DOI":"10.2307\/2275487","volume":"56","author":"M. Kracht","year":"1991","unstructured":"M. Kracht and F. Wolter. Properties of independently axiomatizable bimodal logics. Journal of Symbolic Logic, 56(4):1469\u20131485, 1991.","journal-title":"Journal of Symbolic Logic"},{"key":"32_CR11","volume-title":"Research report","author":"A. Sernadas","year":"1997","unstructured":"A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial construction. Research report, Section of Computer Science, Department of Mathematics, Instituto Superior T\u00e9cnico, 1096 Lisboa, Portugal, 1997. Submitted for publication."},{"key":"32_CR12","unstructured":"A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 58, 1997. In print."},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"A. Tarlecki. Moving between logical systems. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specification, pages 478\u2013502. Springer-Verlag, LNCS 1130, 1996.","DOI":"10.1007\/3-540-61629-2_59"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"R. Thomason. Combinations of tense and modality. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic II, pages 135\u2013165. Kluwer Academic Publishers, 1984.","DOI":"10.1007\/978-94-009-6259-0_3"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000490","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,3]],"date-time":"2019-02-03T15:46:20Z","timestamp":1549208780000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000490"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0000490","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}