{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:21:26Z","timestamp":1743027686019,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662464"},{"type":"electronic","value":"9783540484837"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"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":[[1999]]},"DOI":"10.1007\/3-540-48483-3_4","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:32Z","timestamp":1269897212000},"page":"48-63","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Parameterisation of Logics"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Caleiro","sequence":"first","affiliation":[]},{"given":"Cristina","family":"Sernadas","sequence":"additional","affiliation":[]},{"given":"Am\u00edlcar","family":"Sernadas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,5,27]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"J. Meseguer. General logics. In H.-D. Ebbinghaus et al, editor, Proceedings of the Logic Colloquium, 1987, pages 275\u2013329. North-Holland, 1989.","key":"4_CR1","DOI":"10.1016\/S0049-237X(08)70132-0"},{"key":"4_CR2","series-title":"Lect Notes Comput Sci","volume-title":"Recent trends in abstract data types. Proceedings of the 12th Workshop on Algebraic Development Techniques, Tarquinia 1997","author":"W. Pawlowski","year":"1998","unstructured":"W. Pawlowski. Context parchments. In Recent trends in abstract data types. Proceedings of the 12th Workshop on Algebraic Development Techniques, Tarquinia 1997, volume 1376 of Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"4_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","volume-title":"Recent Trends in Data Type Specification","author":"A. Tarlecki","year":"1996","unstructured":"A. Tarlecki. Moving between logical systems. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type Specification, volume 1130 of Lecture Notes in Computer Science, pages 478\u2013502. Springer-Verlag, 1996."},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0003-4843(74)90016-3","volume":"7","author":"J. Barwise","year":"1974","unstructured":"J. Barwise. Axioms for abstract model theory. Annals of Mathematical Logic, 7:221\u2013265, 1974.","journal-title":"Annals of Mathematical Logic"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1004991115882","volume":"59","author":"P. Blackburn","year":"1997","unstructured":"P. Blackburn and M. de Rijke. Why combine logics? Studia Logica, 59(1):5\u201327, 1997.","journal-title":"Studia Logica"},{"key":"4_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Proceedings of the Logics of Programming Workshop","author":"J. Goguen","year":"1984","unstructured":"J. Goguen and R. Burstall. Introducing institutions. In E. Clarke and D. Kozen, editors, Proceedings of the Logics of Programming Workshop, volume 164 of Lecture Notes in Computer Science, pages 221\u2013256. Springer-Verlag, 1984."},{"key":"4_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-57182-5_26","volume-title":"Mathematical Foundations of Computer Science 1993","author":"M. Cerioli","year":"1993","unstructured":"M. Cerioli and J. Meseguer. May I borrow your logic? In A. Borzyszkowki and S. Sokolowski, editors, Mathematical Foundations of Computer Science 1993, volume 711 of Lecture Notes in Computer Science, pages 342\u2013351. Springer-Verlag, 1993."},{"key":"4_CR8","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008204403391","volume":"6","author":"P. Blackburn","year":"1997","unstructured":"P. Blackburn and M. de Rijke. Zooming in, zooming out. Journal of Logic, Language and Information, 6:5\u201331, 1997.","journal-title":"Journal of Logic, Language and Information"},{"doi-asserted-by":"crossref","unstructured":"S. MacLane. Categories for the Working Mathematician. Springer-Verlag, 1971.","key":"4_CR9","DOI":"10.1007\/978-1-4612-9839-7"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","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(2):204\u2013232, 1996.","journal-title":"Notre Dame Journal of Formal Logic"},{"unstructured":"M. Barr and C. Wells. Category Theory for Computing Science. Prentice Hall, 1990.","key":"4_CR11"},{"issue":"4","key":"4_CR12","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.2307\/2275807","volume":"61","author":"D. Gabbay","year":"1996","unstructured":"D. Gabbay. Fibred semantics and the weaving of logics: part 1. Journal of Symbolic Logic, 61(4):1057\u20131120, 1996.","journal-title":"Journal of Symbolic Logic"},{"key":"4_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-50325-0_3","volume-title":"Recent Trends in Data Type Specification","author":"J. Fiadeiro","year":"1988","unstructured":"J. Fiadeiro and A. Sernadas. Structuring theories on consequence. In D. Sannella and A. Tarlecki, editors, Recent Trends in Data Type Specification, volume 332 of Lecture Notes in Computer Science, pages 44\u201372. Springer-Verlag, 1988."},{"issue":"2","key":"4_CR14","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004904401346","volume":"59","author":"A. Sernadas","year":"1997","unstructured":"A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia Logica, 59(2):217\u2013247, 1997.","journal-title":"Studia Logica"},{"issue":"2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1305\/ndjfl\/1040046092","volume":"37","author":"A. J\u00e1nossy","year":"1996","unstructured":"A. J\u00e1nossy, \u00c1. Kurucz, and \u00c1. E. Eiben. Combining algebraizable logics. Notre Dame Journal of Formal Logic, 37(2):366\u2013380, 1996.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"4_CR16","doi-asserted-by":"publisher","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"},{"unstructured":"J. Ad\u00e1mek, H. Herrlich, and G. Strecker. Abstract and concrete categories. John Wiley, 1990.","key":"4_CR17"},{"issue":"10","key":"4_CR18","first-page":"1","volume":"8","author":"A. Sernadas","year":"1998","unstructured":"A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial construction. Journal of Logic and Computation, 8(10):1\u201331, 1998.","journal-title":"Journal of Logic and Computation"},{"key":"4_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BFb0026988","volume-title":"Category Theory and Computer Science 97","author":"T. Mossakowski","year":"1997","unstructured":"T. Mossakowski, A. Tarlecki, and W. Pawlowski. Combining and representing logical systems. In Category Theory and Computer Science 97, volume 1290 of Lecture Notes in Computer Science, pages 177\u2013196. Springer-Verlag, 1997."},{"unstructured":"A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial bring of logics with terms and binding operators. In Frontiers of Combining Systems-FroCoS\u201998. Kluwer Academic Publishers, 1998. To appear in Applied Logic Series.","key":"4_CR20"},{"key":"4_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-17162-2_131","volume-title":"Proceedings of the Conference on Category Theory and Computer Programming","author":"J. Goguen","year":"1986","unstructured":"J. Goguen and R. Burstall. A study in the foundations of programming methodology: Specifications, institutions, charters and parchments. In D. Pitt, S. Abramsky, A. Poign\u00e9, and D. Rydeheard, editors, Proceedings of the Conference on Category Theory and Computer Programming, volume 240 of Lecture Notes in Computer Science, pages 313\u2013333. Springer Verlag, 1986."},{"issue":"1","key":"4_CR22","doi-asserted-by":"publisher","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":"4_CR23","series-title":"Lect Notes Comput Sci","volume-title":"Recent trends in abstract data types. Proceedings of the 12th Workshop on Algebraic Development Techniques, Tarquinia 1997","author":"T. Mossakowski","year":"1998","unstructured":"T. Mossakowski, A. Tarlecki, and W. Pawlowski. Combining and representing logical systems using model-theoretic parchments. In Recent trends in abstract data types. Proceedings of the 12th Workshop on Algebraic Development Techniques, Tarquinia 1997, volume 1376 of Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/322290.322303","volume":"29","author":"H.-D. Ehrich","year":"1982","unstructured":"H.-D. Ehrich. On the theory of specification, implementation and parameterisation of abstract data types. Journal of the ACM, 29:206\u2013227, 1982.","journal-title":"Journal of the ACM"},{"issue":"1","key":"4_CR25","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0168-0072(94)90009-4","volume":"67","author":"R. Harper","year":"1994","unstructured":"Robert Harper, Donald Sannella, and Andrzej Tarlecki. Structured theory presentations and logic representations. Annals of Pure and Applied Logic, 67(1(3):113\u2013160, 1994.","journal-title":"Annals of Pure and Applied Logic"},{"key":"4_CR26","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/BFb0000490","volume-title":"AMAST\u201997-6th International Conference on Algebraic Methodology and Software Technology","author":"A. Sernadas","year":"1997","unstructured":"A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics with mixed rules: Completeness preservation. In M. Johnson, editor, AMAST\u201997-6th International Conference on Algebraic Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 465\u2013478. Springer-Verlag, 1997."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48483-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,12]],"date-time":"2021-03-12T02:05:55Z","timestamp":1615514755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48483-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662464","9783540484837"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-48483-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"27 May 2002","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}