{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:51Z","timestamp":1762459071644},"reference-count":36,"publisher":"Oxford University Press (OUP)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1093\/logcom\/ext016","type":"journal-article","created":{"date-parts":[[2013,7,11]],"date-time":"2013-07-11T00:54:08Z","timestamp":1373504048000},"page":"855-891","source":"Crossref","is-referenced-by-count":20,"title":["Quasi-varieties and initial semantics for hybridized institutions"],"prefix":"10.1093","volume":"26","author":[{"given":"R\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2013,7,9]]},"reference":[{"key":"2016052804473444000_26.3.855.1","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-007-9043-z"},{"key":"2016052804473444000_26.3.855.2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.02.005"},{"key":"2016052804473444000_26.3.855.3","unstructured":"Andr\u00e9ka H. N\u00e9meti I. Generalization of the concept of variety and quasivariety to partial algebras through category theory. Dissertationes Mathematicae 1983;CCIV."},{"key":"2016052804473444000_26.3.855.4","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/11.5.657"},{"key":"2016052804473444000_26.3.855.5","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00368-1"},{"key":"2016052804473444000_26.3.855.6","first-page":"133","article-title":"13 questions about universal logic","volume":"35","author":"B\u00e9ziau","year":"2006","journal-title":"Bulletin of the Section of Logic"},{"key":"2016052804473444000_26.3.855.7","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.3.339"},{"key":"2016052804473444000_26.3.855.8","doi-asserted-by":"crossref","unstructured":"Borceux F. Handbook of Categorical Algebra. Cambridge University Press; 1994.","DOI":"10.1017\/CBO9780511525865"},{"key":"2016052804473444000_26.3.855.9","doi-asserted-by":"publisher","DOI":"10.1007\/s10849-005-3927-y"},{"key":"2016052804473444000_26.3.855.10","doi-asserted-by":"crossref","unstructured":"Bra\u00fcner T. Hybrid Logic and its Proof-Theory, Vol. 37 of Applied Logic Series. Springer; 2011.","DOI":"10.1007\/978-94-007-0002-4"},{"key":"2016052804473444000_26.3.855.11","unstructured":"Burstall R. Goguen J. The semantics of Clear, a specification language. In: Bjorner D. , editor. 1979 Copenhagen Winter School on Abstract Software Specification, Vol. 86 of Lecture Notes in Computer Science. Springer; 1980. p. 292-332."},{"key":"2016052804473444000_26.3.855.12","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129596002253"},{"key":"2016052804473444000_26.3.855.13","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/14.5.651"},{"key":"2016052804473444000_26.3.855.14","unstructured":"Diaconescu R. Institution-Independent Model Theory. Birkh\u00e4user; 2008."},{"key":"2016052804473444000_26.3.855.15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2009.09.001"},{"key":"2016052804473444000_26.3.855.16","doi-asserted-by":"publisher","DOI":"10.1007\/s10485-009-9211-6"},{"key":"2016052804473444000_26.3.855.17","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.04.008"},{"key":"2016052804473444000_26.3.855.18","unstructured":"Diaconescu R. Goguen J. Stefaneas P. Logical support for modularisation. In: Huet G. Plotkin G. , editors. In Proceedings of a Workshop held in Edinburgh, Logical Environments . Cambridge; 1993. p. 83-130."},{"key":"2016052804473444000_26.3.855.19","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.02.068"},{"key":"2016052804473444000_26.3.855.20","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"},{"key":"2016052804473444000_26.3.855.21","doi-asserted-by":"crossref","unstructured":"Goguen J. Meseguer J. Models and equality for logical programming. In: Ehrig H. Levi G. Kowalski R. Montanari U. , editors. Proceedings, TAPSOFT 1987, Vol. 250 of Lecture Notes in Computer Science. Springer; 1987. p. 1-22.","DOI":"10.1007\/BFb0014969"},{"key":"2016052804473444000_26.3.855.22","doi-asserted-by":"crossref","unstructured":"Goguen J. Ro\u015fu G. Composing hidden information modules over inclusive institutions. In: Owe O. Krogdahl S. Lyche T. , editors. From Object-Orientation to Formal Methods, Vol. 2635 of Lecture Notes in Computer Science. Springer; 2004. p. 96-123.","DOI":"10.1007\/978-3-540-39993-3_7"},{"key":"2016052804473444000_26.3.855.23","doi-asserted-by":"publisher","DOI":"10.1145\/321992.321997"},{"key":"2016052804473444000_26.3.855.24","doi-asserted-by":"crossref","unstructured":"Gr\u00e4tzer G. Universal Algebra. Springer; 1979.","DOI":"10.1007\/978-0-387-77487-9"},{"key":"2016052804473444000_26.3.855.25","doi-asserted-by":"crossref","unstructured":"Kaphengst H. Reichel H. Initial algebraic semantics for non-context-free languages. In: Karpinski M. , editor. Fundamentals of Computation Theory, Vol. 56 of Lecture Notes in Computer Science. Springer; 1977. p. 120-126.","DOI":"10.1007\/3-540-08442-8_77"},{"key":"2016052804473444000_26.3.855.26","unstructured":"Lane S. M. Categories for the Working Mathematician. 2nd edn. Springer; 1998."},{"key":"2016052804473444000_26.3.855.27","doi-asserted-by":"crossref","unstructured":"Lloyd J. Foundations of Logic Programming. Springer; 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"2016052804473444000_26.3.855.28","unstructured":"Malcev A. The Metamathematics of Algebraic Systems. North-Holland; 1971."},{"key":"2016052804473444000_26.3.855.29","unstructured":"Martins M. Madeira A. Barbosa L. Electronic Proceeding of TICTTL, Third International Congress in Tools for Teaching Logic. 2011. Reasoning about complex requirements in a uniform setting. 1\u20134 June Salamanca."},{"key":"2016052804473444000_26.3.855.30","doi-asserted-by":"crossref","unstructured":"Martins M.-A. Madeira A. Diaconescu R. Barbosa L. Hybridization of institutions. In: Corradini A. Klin B. C\u00eerstea C. , editors. Algebra and Coalgebra in Computer Science, Vol. 6859 of Lecture Notes in Computer Science. Springer; 2011. p. 283-297.","DOI":"10.1007\/978-3-642-22944-2_20"},{"key":"2016052804473444000_26.3.855.31","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90026-X"},{"key":"2016052804473444000_26.3.855.32","doi-asserted-by":"crossref","unstructured":"Prior A. N. Past, Present and Future. Oxford University Press; 1967.","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"2016052804473444000_26.3.855.33","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1017\/S0960129501003474","article-title":"Axiomatisability in inclusive equational logic","volume":"12","author":"Ro\u015fu","year":"2002","journal-title":"Mathematical Structures in Computer Science"},{"key":"2016052804473444000_26.3.855.34","doi-asserted-by":"crossref","unstructured":"Tarlecki A. Bits and pieces of the theory of institutions. In: Pitt D. Abramsky S. Poign\u00e9 A. Rydeheard D. , editors. Proceedings, Summer Workshop on Category Theory and Computer Programming, Vol. 240 of Lecture Notes in Computer Science. Springer; 1986. p. 334-360.","DOI":"10.1007\/3-540-17162-2_132"},{"key":"2016052804473444000_26.3.855.35","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(86)90057-7"},{"key":"2016052804473444000_26.3.855.36","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90085-G"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/26\/3\/855\/7948694\/ext016.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T02:15:15Z","timestamp":1688350515000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/ext016"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,9]]},"references-count":36,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2016,5,28]]},"published-print":{"date-parts":[[2016,6]]}},"alternative-id":["10.1093\/logcom\/ext016"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/ext016","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,9]]}}}