{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T23:42:32Z","timestamp":1725925352081},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319720432"},{"type":"electronic","value":"9783319720449"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-72044-9_4","type":"book-chapter","created":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T14:14:43Z","timestamp":1512656083000},"page":"39-55","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Asymmetric Combination of Logics is Functorial: A Survey"],"prefix":"10.1007","author":[{"given":"Renato","family":"Neves","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Luis S.","family":"Barbosa","sequence":"additional","affiliation":[]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,12,8]]},"reference":[{"key":"4_CR1","volume-title":"Handbook of Modal Logics","author":"C Areces","year":"2006","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Blackburn, P., Wolter, F., van Benthem, J. (eds.) Handbook of Modal Logics. Elsevier, Amsterdam (2006)"},{"issue":"4","key":"4_CR2","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/s11787-013-0087-8","volume":"7","author":"P Baltazar","year":"2013","unstructured":"Baltazar, P.: Probabilization of logics: completeness and decidability. Log. Univers. 7(4), 403\u2013440 (2013)","journal-title":"Log. Univers."},{"issue":"1","key":"4_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1004991115882","volume":"59","author":"P Blackburn","year":"1997","unstructured":"Blackburn, P., de Rijke, M.: Why combine logics? Stud. Logica 59(1), 5\u201327 (1997)","journal-title":"Stud. Logica"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11780274_4","volume-title":"Algebra, Meaning, and Computation","author":"C Caleiro","year":"2006","unstructured":"Caleiro, C., Mateus, P., Sernadas, A., Sernadas, C.: Quantum institutions. In: Futatsugi, K., Jouannaud, J.-P., Meseguer, J. (eds.) Algebra, Meaning, and Computation. LNCS, vol. 4060, pp. 50\u201364. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11780274_4"},{"key":"4_CR5","unstructured":"Caleiro, C., Sernadas, A., Sernadas, C.: Fibring logics: past, present and future. In: Art\u00ebmov, S.N., Barringer, H., d\u2019Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.) We Will Show Them! Essays in Honour of Dov Gabbay, vol. 1, pp. 363\u2013388. College Publications (2005)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/3-540-48483-3_4","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C Caleiro","year":"1999","unstructured":"Caleiro, C., Sernadas, C., Sernadas, A.: Parameterisation of logics. In: Fiadeiro, J.L. (ed.) WADT 1998. LNCS, vol. 1589, pp. 48\u201363. Springer, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48483-3_4"},{"key":"4_CR7","unstructured":"Carnielli, W., Coniglio, M.E.: Combining logics. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy, Winter 2011 edn. (2011)"},{"key":"4_CR8","unstructured":"Cengarle, M.V.: The temporal logic institution. Technical report 9805, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen, Institut f\u00fcr Informatik, November 1998"},{"issue":"1\u20132","key":"4_CR9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.jlap.2005.09.004","volume":"67","author":"C C\u00eerstea","year":"2006","unstructured":"C\u00eerstea, C.: An institution of modal logics for coalgebras. J. Log. Algebraic Program. 67(1\u20132), 87\u2013113 (2006)","journal-title":"J. Log. Algebraic Program."},{"issue":"5","key":"4_CR10","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1017\/S0960129514000383","volume":"26","author":"R Diaconescu","year":"2016","unstructured":"Diaconescu, R., Madeira, A.: Encoding hybridized institutions into first-order logic. Math. Struct. Comput. Sci. 26(5), 745\u2013788 (2016)","journal-title":"Math. Struct. Comput. Sci."},{"issue":"1\u20132","key":"4_CR11","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1016\/j.tcs.2007.02.068","volume":"379","author":"R Diaconescu","year":"2007","unstructured":"Diaconescu, R., Stefaneas, P.: Ultraproducts and possible worlds semantics in institutions. Theoret. Comput. Sci. 379(1\u20132), 210\u2013230 (2007)","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"4_CR12","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M Finger","year":"1992","unstructured":"Finger, M., Gabbay, D.: Adding a temporal dimension to a logic system. J. Logic Lang. Inform. 1(3), 203\u2013233 (1992)","journal-title":"J. Logic Lang. Inform."},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1111\/j.1755-2567.1969.tb00372.x","volume":"35","author":"M Fitting","year":"1969","unstructured":"Fitting, M.: Logics with several modal operators. Theoria 35, 259\u2013266 (1969)","journal-title":"Theoria"},{"issue":"4","key":"4_CR14","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.2307\/2275807","volume":"61","author":"D Gabbay","year":"1996","unstructured":"Gabbay, D.: Fibred semantics and the weaving of logics: part 1. J. Symb. Log. 61(4), 1057\u20131120 (1996)","journal-title":"J. Symb. Log."},{"key":"4_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00165-016-0414-y","volume":"29","author":"D G\u0103in\u0103","year":"2017","unstructured":"G\u0103in\u0103, D.: Birkhoff style calculi for hybrid logics. Formal Asp. Comput. 29, 1\u201328 (2017)","journal-title":"Formal Asp. Comput."},{"issue":"1","key":"4_CR16","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"JA Goguen","year":"1991","unstructured":"Goguen, J.A.: A categorical manifesto. Math. Struct. Comput. Sci. 1(1), 49\u201367 (1991)","journal-title":"Math. Struct. Comput. Sci."},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"JA Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39, 95\u2013146 (1992)","journal-title":"J. ACM"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0014969","volume-title":"TAPSOFT \u201987","author":"JA Goguen","year":"1987","unstructured":"Goguen, J.A., Meseguer, J.: Models and equality for logical programming. In: Ehrig, H., Kowalski, R., Levi, G., Montanari, U. (eds.) TAPSOFT 1987. LNCS, vol. 250, pp. 1\u201322. Springer, Heidelberg (1987). https:\/\/doi.org\/10.1007\/BFb0014969"},{"issue":"2","key":"4_CR19","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/s00165-014-0327-6","volume":"27","author":"A Madeira","year":"2015","unstructured":"Madeira, A., Martins, M.A., Barbosa, L.S., Hennicker, R.: Refinement in hybridised institutions. Formal Asp. Comput. 27(2), 375\u2013395 (2015)","journal-title":"Formal Asp. Comput."},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-22944-2_20","volume-title":"Algebra and Coalgebra in Computer Science","author":"MA Martins","year":"2011","unstructured":"Martins, M.A., Madeira, A., Diaconescu, R., Barbosa, L.S.: Hybridization of institutions. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 283\u2013297. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22944-2_20"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Mossakowski, T., Goguen, J., Diaconescu, R., Tarlecki, A.: What is a logic? In: Beziau, J.Y. (ed.) Logica Universalis, pp. 111\u2013133. Birkh\u00e4user Basel (2007)","DOI":"10.1007\/978-3-7643-8354-1_7"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/978-3-540-71209-1_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski, T., Maeder, C., L\u00fcttich, K.: The heterogeneous tool set, Hets. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 519\u2013522. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71209-1_40"},{"key":"4_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-71998-4_6","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T Mossakowski","year":"2007","unstructured":"Mossakowski, T., Roggenbach, M.: Structured CSP \u2013 a process algebra as an institution. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 92\u2013110. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71998-4_6"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Neves, R., Madeira, A., Barbosa, L.S., Martins, M.A.: Asymmetric combination of logics is functorial: a survey (extended version). arXiv preprint arXiv:1611.04170 (2017)","DOI":"10.1007\/978-3-319-72044-9_4"},{"key":"4_CR25","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-319-04717-1_3","volume-title":"Integration of Reusable Systems","author":"R Neves","year":"2014","unstructured":"Neves, R., Madeira, A., Martins, M., Barbosa, L.: An institution for alloy and its translation to second-order logic. In: Bouabana-Tebibel, T., Rubin, S.H. (eds.) Integration of Reusable Systems. AISC, vol. 263, pp. 45\u201375. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-04717-1_3"},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1007\/978-3-642-40206-7_28","volume-title":"Algebra and Coalgebra in Computer Science","author":"R Neves","year":"2013","unstructured":"Neves, R., Madeira, A., Martins, M.A., Barbosa, L.S.: Hybridisation at work. In: Heckel, R., Milius, S. (eds.) CALCO 2013. LNCS, vol. 8089, pp. 340\u2013345. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40206-7_28"},{"key":"4_CR27","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/j.scico.2016.03.001","volume":"126","author":"R Neves","year":"2016","unstructured":"Neves, R., Madeira, A., Martins, M.A., Barbosa, L.S.: Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126, 73\u201393 (2016)","journal-title":"Sci. Comput. Program."},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-319-15075-8_10","volume-title":"Formal Methods: Foundations and Applications","author":"R Neves","year":"2015","unstructured":"Neves, R., Martins, M.A., Barbosa, L.S.: Completeness and decidability results for hybrid(ised) logics. In: Braga, C., Mart\u00ed-Oliet, N. (eds.) SBMF 2014. LNCS, vol. 8941, pp. 146\u2013161. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-15075-8_10"},{"issue":"1","key":"4_CR29","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1007\/s11225-011-9363-x","volume":"101","author":"J Rasga","year":"2013","unstructured":"Rasga, J., Sernadas, A., Sernadas, C.: Importing logics: soundness and completeness preservation. Stud. Logica 101(1), 117\u2013155 (2013)","journal-title":"Stud. Logica"},{"key":"4_CR30","series-title":"EATCS Monographs on Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17336-3","volume-title":"Foundations of Algebraic Specification and Formal Software Development","author":"D Sannella","year":"2012","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-17336-3"},{"issue":"1","key":"4_CR31","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/BF02115610","volume":"2","author":"K Segerberg","year":"1973","unstructured":"Segerberg, K.: Two-dimensional modal logic. J. Philos. Log. 2(1), 77\u201396 (1973)","journal-title":"J. Philos. Log."},{"issue":"2","key":"4_CR32","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"A Sernadas","year":"1999","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C.: Fibring of logics as a categorial construction. J. Log. Comput. 9(2), 149\u2013179 (1999)","journal-title":"J. Log. Comput."},{"key":"4_CR33","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-94-009-6259-0_3","volume-title":"Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic","author":"RH Thomason","year":"1984","unstructured":"Thomason, R.H.: Combinations of tense and modality. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic, pp. 135\u2013165. Reidel, Dordrecht (1984)"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-72044-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T17:01:14Z","timestamp":1570467674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-72044-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319720432","9783319720449"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-72044-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}