{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:59Z","timestamp":1761611099422},"reference-count":32,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":3972,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s0304-3975(01)00317-6","type":"journal-article","created":{"date-parts":[[2002,10,9]],"date-time":"2002-10-09T19:39:34Z","timestamp":1034192374000},"page":"197-245","source":"Crossref","is-referenced-by-count":57,"title":["Logical systems for structured specifications"],"prefix":"10.1016","volume":"286","author":[{"given":"Tomasz","family":"Borzyszkowski","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(01)00317-6_BIB1","series-title":"Semantics of Specification Languages (SoSL\u201993), Workshops in Computing","first-page":"168","article-title":"Multiparadigm specification languages","author":"Astesiano","year":"1994"},{"issue":"1","key":"10.1016\/S0304-3975(01)00317-6_BIB2","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","article-title":"Simple consequence relations","volume":"91","author":"Avron","year":"1991","journal-title":"Inform. and Comput."},{"issue":"2","key":"10.1016\/S0304-3975(01)00317-6_BIB3","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/77600.77621","article-title":"Module algebra","volume":"37","author":"Bergstra","year":"1990","journal-title":"J. ACM"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB4","unstructured":"T. Borzyszkowski, Completeness of the logical system for structured specifications, in: F. Parisi-Presicce (Ed.), Recent Trends in Algebraic Development Techniques, Selected Papers, 12th Internat. Workshop WADT\u201997, Tarquinia, Italy, Springer Lecture Notes in Computer Science, vol. 1376, Springer, Berlin, June 1997, pp. 107\u2013121."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB5","first-page":"16","article-title":"Moving specification structures between logical systems","volume":"vol. 1589","author":"Borzyszkowski","year":"1998"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB6","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/BF02483730","article-title":"Partial algebras\u2014survey of a unifying approach towards a two-valued model theory for partial algebras","volume":"15","author":"Burmeister","year":"1982","journal-title":"Algebra Univ."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB7","series-title":"A Model Theoretic Approach to Partial Algebras","author":"Burmeister","year":"1986"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB8","unstructured":"M.V. Cengarle, Formal specifications with high-order parameterization, Ph.D. Thesis, Institut f\u00fcr Informatik, Ludwig-Maximilians-Universit\u00e4t M\u00fcenchen, 1994."},{"issue":"2","key":"10.1016\/S0304-3975(01)00317-6_BIB9","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/S0304-3975(96)00160-0","article-title":"May i borrow your logic? (transporting logical structures along maps)","volume":"173","author":"Cerioli","year":"1997","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB10","series-title":"Model theory, Studies in Logic and The Foundations of Mathematics","author":"Chang","year":"1973"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB11","series-title":"Logical Environments, Proc. of a Workshop held in Edinburgh, Scotland, May 1991","first-page":"83","article-title":"Logical support for modularization","author":"Diaconescu","year":"1993"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB12","unstructured":"J. Farr\u00e9s Casals, Verification in ASL and related specification languages, Ph.D. Thesis, Report CST-92-92, Dept. of Computer Science, University of Edinburgh, 1992."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB13","unstructured":"J.A. Goguen, R.M. Burstall, The semantics of Clear, a specification language, Proc. 1979 Copenhagen Winter School on Abstract Software Specification, Springer Lecture Notes in Computer Science, vol. 86, Springer, Berlin, 1980, pp. 292\u2013332."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB14","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","article-title":"Institutions","volume":"39","author":"Goguen","year":"1992","journal-title":"J. Assoc. Comput. Mach."},{"issue":"3","key":"10.1016\/S0304-3975(01)00317-6_BIB15","first-page":"307","article-title":"Completeness of many-sorted equational logic","volume":"11","author":"Goguen","year":"1985","journal-title":"Houston J. Math."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB16","doi-asserted-by":"crossref","unstructured":"R. Hennicker, M. Bidoit, Observational logic, Tech. Report LSV-98-6, Lab. Specification et Verification, ENS de Cachan, France, 1998.","DOI":"10.1007\/3-540-49253-4_20"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB17","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0168-0072(94)90009-4","article-title":"Structured theory presentations and logic representations","volume":"67","author":"Harper","year":"1994","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB18","doi-asserted-by":"crossref","unstructured":"E. Astesiano, B. Krieg-Br\u00fcckner, H.J. Kreowski (Eds.), IFIP WG 1.3 Book on Algebraic Foundations of System Specification, Springer, Berlin, 1999.","DOI":"10.1007\/978-3-642-59851-7"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB19","series-title":"Elements of Mathematical Logic (Model Theory)","author":"Kreisel","year":"1967"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB20","series-title":"Logic Colloquium\u201987","first-page":"279","article-title":"General logic","author":"Meseguer","year":"1989"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB21","unstructured":"T. Mossakowski, Representations, hierarchies, and graphs of institutions, Ph.D. Thesis, Fachbereich Mathematik und Informatik der Universit\u00e4t Bremen, 1996."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB22","unstructured":"P.D. Mosses, CoFI: the common framework initiative for algebraic specification and development, Theory and Practice of Software Development, Lecture Notes in Computer Science, vol. 1214, Springer, Berlin, 1997, pp. 115\u2013137."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB23","unstructured":"P.H. Rodenburg, R.J. van Glabbeek, An interpolation theorem in equational logic, Report CS-R8838, Department of Computer Science, Center for Mathematics and Computer Science, Amsterdam, 1988."},{"issue":"3","key":"10.1016\/S0304-3975(01)00317-6_BIB24","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1017\/S0960129500001006","article-title":"Interpolation and compactness in categories of pre-institutions","volume":"6","author":"Salibra","year":"1996","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB25","doi-asserted-by":"crossref","unstructured":"D. Sannella, R. Burstall, Structured theories in LCF, Proc. 8th Colloq. on Trees in Algebra and Programming, L'Aquila, Lecture Notes in Computer Science, vol. 159, Springer, Berlin, 1983, pp. 377\u2013391.","DOI":"10.1007\/3-540-12727-5_24"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB26","doi-asserted-by":"crossref","first-page":"689","DOI":"10.1007\/BF01191893","article-title":"Towards formal development of programs from algebraic specification","volume":"29","author":"Sannella","year":"1992","journal-title":"Acta Inform."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB27","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","article-title":"Specifications in an arbitrary institution","volume":"76","author":"Sannella","year":"1988","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB28","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF01211084","article-title":"Essential concepts of algebraic specification and program development","volume":"9","author":"Sannella","year":"1997","journal-title":"Formal Aspects Comput."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB29","doi-asserted-by":"crossref","unstructured":"A. Tarlecki, Bits and pieces of the theory of institutions, Proc. Workshop on Category Theory and Computer Programming, Guildford, Springer Lecture Notes in Computer Science, vol. 240, Springer, Berlin, 1986, pp. 334\u2013363.","DOI":"10.1007\/3-540-17162-2_132"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB30","first-page":"478","article-title":"Moving between logical systems","volume":"vol. 1130","author":"Tarlecki","year":"1996"},{"key":"10.1016\/S0304-3975(01)00317-6_BIB31","unstructured":"A. Tarlecki, Towards heterogeneous specifications, in: D. Gabbay, M. van Rijke (Eds.), Proc. of Internat. Workshop on Frontiers of Combining Systems FroCoS\u201998, Amsterdam, October 1998, Research Studies Press 2000, pp. 337\u2013360."},{"key":"10.1016\/S0304-3975(01)00317-6_BIB32","first-page":"411","article-title":"Structured specifications: syntax, semantics and proof calculus","volume":"vol. 94","author":"Wirsing","year":"1991"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501003176?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397501003176?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,7]],"date-time":"2020-03-07T12:00:17Z","timestamp":1583582417000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397501003176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["S0304397501003176"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00317-6","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}