{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T11:41:24Z","timestamp":1698234084612},"reference-count":40,"publisher":"Oxford University Press (OUP)","issue":"7","license":[{"start":{"date-parts":[[2022,8,25]],"date-time":"2022-08-25T00:00:00Z","timestamp":1661385600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,24]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>The theory of stratified institutions is a general axiomatic approach to model theories where the satisfaction is parameterized by states of the models. In this paper we further develop this theory by introducing a new technique for representing stratified institutions, which is based on projecting to such simpler structures. On the one hand this can be used for developing general results applicable to a wide variety of already existing model theories with states, such as those based on some form of Kripke semantics. On the other hand this may serve as a template for defining new such model theories. In this paper we emphasize the former application of this technique by developing general results on model amalgamation and on the existence diagrams for stratified institutions. These are two most useful properties to have in institution theoretic model theory.<\/jats:p>","DOI":"10.1093\/logcom\/exac054","type":"journal-article","created":{"date-parts":[[2022,8,25]],"date-time":"2022-08-25T12:43:57Z","timestamp":1661431437000},"page":"1625-1664","source":"Crossref","is-referenced-by-count":2,"title":["Decompositions of stratified institutions"],"prefix":"10.1093","volume":"33","author":[{"given":"R\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[{"name":"Simion Stoilow Institute of Mathematics of the Romanian Academy , Bucharest 010702, Romania"}]}],"member":"286","published-online":{"date-parts":[[2022,8,25]]},"reference":[{"key":"2023102501094726800_ref1","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1080\/11663081.2019.1668678","article-title":"Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning","volume":"29","author":"Aiguier","year":"2019","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"2023102501094726800_ref2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.ipl.2007.02.005","article-title":"Stratified institutions and elementary homomorphisms","volume":"103","author":"Aiguier","year":"2007","journal-title":"Information Processing Letters"},{"key":"2023102501094726800_ref3","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","article-title":"Representation, reasoning, and relational structures: a hybrid logic manifesto","volume":"8","author":"Blackburn","year":"2000","journal-title":"Logic Journal of IGPL"},{"key":"2023102501094726800_ref4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"Blackburn","year":"2001"},{"key":"2023102501094726800_ref5","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1093\/logcom\/14.5.651","article-title":"Elementary diagrams in institutions","volume":"14","author":"Diaconescu","year":"2004","journal-title":"Journal of Logic and Computation"},{"key":"2023102501094726800_ref6","author":"Diaconescu","year":"2008","journal-title":"Institution-Independent Model Theory"},{"key":"2023102501094726800_ref7","doi-asserted-by":"crossref","first-page":"855","DOI":"10.1093\/logcom\/ext016","article-title":"Quasi-varieties and initial semantics in hybridized institutions","volume":"26","author":"Diaconescu","year":"2016","journal-title":"Journal of Logic and Computation"},{"key":"2023102501094726800_ref8","first-page":"exw018","article-title":"Implicit Kripke semantics and ultraproducts in stratified institutions","volume":"27","author":"Diaconescu","year":"2017","journal-title":"Journal of Logic and Computation"},{"key":"2023102501094726800_ref9","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/s11787-020-00249-y","article-title":"Introducing H, an institution-based formal specification and verification language","volume":"14","author":"Diaconescu","year":"2020","journal-title":"Logica Universalis"},{"key":"2023102501094726800_ref10","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-3-030-64187-0_4","article-title":"Implicit partiality of signature morphisms in institution theory","volume-title":"Hajnal Andr\u00e9ka and Istv\u00e1n N\u00e9meti on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic","author":"Diaconescu","year":"2021"},{"key":"2023102501094726800_ref11","doi-asserted-by":"crossref","first-page":"1507","DOI":"10.3390\/math10091507","article-title":"Representing 3\/2-institutions as stratified institutions","volume":"10","author":"Diaconescu","year":"2022","journal-title":"Mathematics"},{"key":"2023102501094726800_ref12","doi-asserted-by":"crossref","first-page":"3145","DOI":"10.1016\/j.tcs.2011.04.008","article-title":"On the algebra of structured specifications","volume":"412","author":"Diaconescu","year":"2011","journal-title":"Theoretical Computer Science"},{"key":"2023102501094726800_ref13","first-page":"83","article-title":"Logical support for modularisation","volume-title":"Logical Environments","author":"Diaconescu","year":"1993"},{"key":"2023102501094726800_ref14","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1017\/S0960129514000383","article-title":"Encoding hybridized institutions into first order logic","volume":"26","author":"Diaconescu","year":"2016","journal-title":"Mathematical Structures in Computer Science"},{"key":"2023102501094726800_ref15","first-page":"91","article-title":"Modality in open institutions with concrete syntax","volume-title":"Bulletin of the Greek Mathematical Society","author":"Diaconescu","year":"2004"},{"key":"2023102501094726800_ref16","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1016\/j.tcs.2007.02.068","article-title":"Ultraproducts and possible worlds semantics in institutions","volume":"379","author":"Diaconescu","year":"2007","journal-title":"Theoretical Computer Science"},{"key":"2023102501094726800_ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"Fitting","year":"1998"},{"key":"2023102501094726800_ref18","author":"Gabbay","year":"2003","journal-title":"Many-Dimensional Modal Logics: Theory and Applications"},{"key":"2023102501094726800_ref19","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","article-title":"Institutions: abstract model theory for specification and programming","volume":"39","author":"Goguen","year":"1992","journal-title":"Journal of the Association for Computing Machinery"},{"key":"2023102501094726800_ref20","doi-asserted-by":"crossref","first-page":"274","DOI":"10.1007\/s001650200013","article-title":"Institution morphisms","volume":"13","author":"Goguen","year":"2002","journal-title":"Formal Aspects of Computing"},{"key":"2023102501094726800_ref21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00215625","article-title":"Hierarchies of modal and temporal logics with reference pointers","volume":"5","author":"Goranko","year":"1996","journal-title":"Journal of Logic, Language and Information"},{"key":"2023102501094726800_ref22","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-319-28114-8_5","article-title":"Foundations of logic programming in hybridised logics","volume-title":"Recent Trends in Algebraic Development Techniques. WADT 2015","author":"G\u0103in\u0103","year":"2015"},{"key":"2023102501094726800_ref23","doi-asserted-by":"crossref","first-page":"25:1","DOI":"10.1145\/3400294","article-title":"Forcing and calculi for hybrid logics","volume":"67","author":"G\u0103in\u0103","year":"2020","journal-title":"Journal of the Association for the Computing Machinery"},{"key":"2023102501094726800_ref24","article-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1998"},{"key":"2023102501094726800_ref25","volume-title":"Foundations and Techniques for Software Reconfigurability","author":"Madeira","year":"2014"},{"key":"2023102501094726800_ref26","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1007\/978-3-642-22944-2_20","article-title":"Hybridization of institutions","volume-title":"Algebra and Coalgebra in Computer Science","author":"Martins","year":"2011"},{"key":"2023102501094726800_ref27","first-page":"275","article-title":"General logics","volume-title":"Proceedings, Logic Colloquium, 1987","author":"Meseguer","year":"1989"},{"key":"2023102501094726800_ref28","first-page":"158","article-title":"Different types of arrow between logical frameworks","volume-title":"Proc. ICALP 96","author":"Mossakowski","year":"1996"},{"key":"2023102501094726800_ref29","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-642-54624-2_4","article-title":"Parchments for cafeobj logics","volume-title":"Specification, Algebra, and Software","author":"Mossakowski","year":"2014"},{"key":"2023102501094726800_ref30","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/3-540-64299-4_44","article-title":"Combining and representing logical systems using model-theoretic parchments","volume-title":"Recent Trends in Algebraic Development Techniques. Proc. 12th International Workshop","author":"Mossakowski","year":"1998"},{"key":"2023102501094726800_ref31","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/3-540-61629-2_57","article-title":"Context institutions","volume-title":"Recent Trends in Data Type Specification","author":"Paw\u0142owski","year":"1996"},{"key":"2023102501094726800_ref32","first-page":"381","article-title":"Context parchments","volume-title":"Recent Trends in Algebraic Development Techniques","author":"Paw\u0142owski","year":"1997"},{"key":"2023102501094726800_ref33","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001","volume-title":"Past, Present and Future","author":"Prior","year":"1967"},{"key":"2023102501094726800_ref34","first-page":"165","article-title":"Specifications in an arbitrary institution","volume":"76","author":"Sannella","year":"1988","journal-title":"Information and Control"},{"key":"2023102501094726800_ref35","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specifications and Formal Software Development","author":"Sannella","year":"2012"},{"key":"2023102501094726800_ref36","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/3-540-17162-2_132","article-title":"Bits and pieces of the theory of institutions","volume-title":"Proceedings, Summer Workshop on Category Theory and Computer Programming","author":"Tarlecki","year":"1986"},{"key":"2023102501094726800_ref37","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0304-3975(85)90094-5","article-title":"On the existence of free models in abstract algebraic institutions","volume":"37","author":"Tarlecki","year":"1986","journal-title":"Theoretical Computer Science"},{"key":"2023102501094726800_ref38","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0022-0000(86)90057-7","article-title":"Quasi-varieties in abstract algebraic institutions","volume":"33","author":"Tarlecki","year":"1986","journal-title":"Journal of Computer and System Sciences"},{"key":"2023102501094726800_ref39","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1007\/3-540-61629-2_59","article-title":"Moving between logical systems","volume-title":"Recent Trends in Data Type Specification","author":"Tarlecki","year":"1996"},{"key":"2023102501094726800_ref40","first-page":"337","article-title":"Towards heterogeneous specifications","volume-title":"Proceedings, International Conference on Frontiers of Combining Systems (FroCoS\u201998)","author":"Tarlecki","year":"2000"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/7\/1625\/52456294\/exac054.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/logcom\/article-pdf\/33\/7\/1625\/52456294\/exac054.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T01:10:22Z","timestamp":1698196222000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/33\/7\/1625\/6672684"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,25]]},"references-count":40,"journal-issue":{"issue":"7","published-online":{"date-parts":[[2022,8,25]]},"published-print":{"date-parts":[[2023,10,24]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exac054","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2023,10]]},"published":{"date-parts":[[2022,8,25]]}}}