{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T21:12:53Z","timestamp":1726434773660},"reference-count":21,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"DOI":"10.1093\/logcom\/exw018","type":"journal-article","created":{"date-parts":[[2016,6,18]],"date-time":"2016-06-18T20:27:46Z","timestamp":1466281666000},"page":"exw018","source":"Crossref","is-referenced-by-count":2,"title":["Implicit Kripke semantics and ultraproducts in stratified institutions"],"prefix":"10.1093","author":[{"given":"R\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[]}],"member":"286","published-online":{"date-parts":[[2016,6,18]]},"reference":[{"key":"2016061817274027000_exw018v1.1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.02.005"},{"key":"2016061817274027000_exw018v1.2","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/8.3.339"},{"key":"2016061817274027000_exw018v1.3","doi-asserted-by":"crossref","unstructured":"Blackburn P. de Rijke M. and Venema Y. Modal Logic. Cambridge University Press, 2001.","DOI":"10.1017\/CBO9781107050884"},{"key":"2016061817274027000_exw018v1.4","unstructured":"C.- Chang C. J H. Keisler. Model Theory. North Holland, 1990."},{"key":"2016061817274027000_exw018v1.5","unstructured":"Codescu M. The model theory of higher order logic. Master\u2019s Thesis, \u015ecoala Normal\u0103 Superioar\u0103 Bucure\u015fti, 2007."},{"key":"2016061817274027000_exw018v1.6","first-page":"321","article-title":"Institution-independent ultraproducts","volume":"55","author":"Diaconescu","year":"2003","journal-title":"Fundamenta Informatic\u00e6"},{"key":"2016061817274027000_exw018v1.7","unstructured":"Diaconescu R. Institution-independent Model Theory. Birkh\u00e4user, 2008."},{"key":"2016061817274027000_exw018v1.8","doi-asserted-by":"crossref","unstructured":"R. Diaconescu. Quasi-varieties and initial semantics in hybridized institutions. Journal of Logic and Computation, doi:10.1093\/logcom\/ext016.","DOI":"10.1093\/logcom\/ext016"},{"key":"2016061817274027000_exw018v1.9","doi-asserted-by":"crossref","unstructured":"R. Diaconescu and A. Madeira. Encoding hybridized institutions into first-order logic. Mathematical Structures in Computer Science, doi:10.1017\/S0960129514000383.","DOI":"10.1017\/S0960129514000383"},{"key":"2016061817274027000_exw018v1.10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.02.068"},{"key":"2016061817274027000_exw018v1.11","doi-asserted-by":"crossref","unstructured":"Fitting M. Mendelsohn R. L. First-order Modal Logic. Kluwer\/Springer, 1998.","DOI":"10.1007\/978-94-011-5292-1"},{"key":"2016061817274027000_exw018v1.12","unstructured":"D. Gabbay M. Kurucz A. Wolter F. Zakharyaschev M. Many-dimensional Modal Logics: Theory and Applications. Elsevier, 2003."},{"key":"2016061817274027000_exw018v1.13","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147524"},{"key":"2016061817274027000_exw018v1.14","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":"2016061817274027000_exw018v1.15","doi-asserted-by":"crossref","unstructured":"\u0141o\u015b J. Quelques remarques, th\u00e9or\u00e8mes et probl\u00e8mes sur les classes d\u00e9finissables d'alg\u00e8bres. In Mathematical Interpretation of Formal Systems, p. 98\u2013113. North-Holland, 1955.","DOI":"10.1016\/S0049-237X(09)70306-4"},{"key":"2016061817274027000_exw018v1.16","unstructured":"Madeira A. Foundations and Techniques for Software Reconfigurability. PhD Thesis, Universidades do Minho, Aveiro and Porto (Joint MAP-i Doctoral Programme), 2014."},{"key":"2016061817274027000_exw018v1.17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22944-2_20"},{"key":"2016061817274027000_exw018v1.18","doi-asserted-by":"crossref","unstructured":"A. Prior N. Past, Present and Future. Oxford University Press, 1967.","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"2016061817274027000_exw018v1.19","doi-asserted-by":"crossref","unstructured":"Sannella D. Tarlecki A. Foundations of Algebraic Specifications and Formal Software Development. Springer, 2012.","DOI":"10.1007\/978-3-642-17336-3"},{"key":"2016061817274027000_exw018v1.20","doi-asserted-by":"crossref","unstructured":"Tarlecki A. Bits and pieces of the theory of institutions. In Proceedings, Summer Workshop on Category Theory and Computer Programming, Vol. 240 of Lecture Notes in Computer Science, Pitt David Abramsky Samson Poign\u00e9 Axel Rydeheard David eds, pp. 334\u2013360. Springer, 1986.","DOI":"10.1007\/3-540-17162-2_132"},{"key":"2016061817274027000_exw018v1.21","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(86)90057-7"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/27\/5\/1577\/18491862\/exw018.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T19:13:15Z","timestamp":1568056395000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exw018"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6,18]]},"references-count":21,"alternative-id":["10.1093\/logcom\/exw018"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exw018","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published":{"date-parts":[[2016,6,18]]}}}