{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,16]],"date-time":"2025-05-16T04:02:23Z","timestamp":1747368143856,"version":"3.40.5"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031889295","type":"print"},{"value":"9783031889301","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-88930-1_5","type":"book-chapter","created":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T06:13:18Z","timestamp":1747289598000},"page":"94-110","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Institution of\u00a0Many-Logics Modal Logic"],"prefix":"10.1007","author":[{"given":"Alfredo R.","family":"Freire","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,5,16]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","unstructured":"Agust\u00ed-Cullell, J., Esteva, F., Garcia, P., Godo, L.: Formalizing multiple-valued logics as institutions. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds.) Uncertainty in Knowledge Bases, 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 1990, Paris, France, 2\u20136 July 1990, Proceedings. Lecture Notes in Computer Science, vol.\u00a0521, pp. 269\u2013278. Springer (1990). https:\/\/doi.org\/10.1007\/BFB0028112","DOI":"10.1007\/BFB0028112"},{"key":"5_CR2","doi-asserted-by":"publisher","unstructured":"Belnap, N.D.: A useful four-valued logic, pp. 5\u201337. Springer, Dordrecht (1977). https:\/\/doi.org\/10.1007\/978-94-010-1161-7_2","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de\u00a0Rijke, M., Venema, Y.: Modal logic, Cambridge Tracts in Theoretical Computer Science, vol.\u00a053. Cambridge University Press, Cambridge (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract state machines: a method for high-level system design and analysis. Springer (2003)","DOI":"10.1007\/978-3-642-18216-7"},{"key":"5_CR5","volume-title":"Hybrid Logic and its Proof-Theory","author":"T Bra\u00fcner","year":"2010","unstructured":"Bra\u00fcner, T.: Hybrid Logic and its Proof-Theory. Springer, Dordrecht and New York (2010)"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Diaconescu, R., Madeira, A.: Encoding hybridized institutions into first-order logic. Math. Struct. Comput. Sci. 26(5), 745\u2013788 (2016). https:\/\/doi.org\/10.1017\/S0960129514000383","DOI":"10.1017\/S0960129514000383"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Diaconescu, R.: Translation structures for fuzzy model theory. Fuzzy Sets Syst. 480, 108866 (2024). https:\/\/doi.org\/10.1016\/j.fss.2024.108866. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0165011424000125","DOI":"10.1016\/j.fss.2024.108866"},{"key":"5_CR8","doi-asserted-by":"publisher","unstructured":"Fiadeiro, J.L., \u0162u\u0163u, I., Lopes, A., Pavlovic, D.: Logics for actor networks: a two-stage constrained-hybridisation approach. J. Log. Algebraic Methods Program. 106, 141\u2013166 (2019). https:\/\/doi.org\/10.1016\/J.JLAMP.2019.05.001","DOI":"10.1016\/J.JLAMP.2019.05.001"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Freire, A., Madeira, A., Martins, M.A.: Lattices for many-logics modal logic: constructions and representations. In Artificial Intelligence Logic and Applications. Communications in Computer and Information Science Series. Springer (in print). https:\/\/doi.org\/10.1007\/978-981-96-0354-1_3","DOI":"10.1007\/978-981-96-0354-1_3"},{"key":"5_CR10","doi-asserted-by":"publisher","unstructured":"Freire, A., Martins, M.A.: Modality across different logics. Logic Journal of the IGPL (2024). https:\/\/doi.org\/10.1093\/jigpal\/jzae082","DOI":"10.1093\/jigpal\/jzae082"},{"key":"5_CR11","unstructured":"Freire, A.R., Martins, M.A.: Essay on modality across different logics (2022). https:\/\/arxiv.org\/abs\/2203.00673"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Gabbay, D.M., Hodkinson, I., Reynolds, M.: Adding a temporal dimension to a logic system. In: Temporal Logic: Mathematical Foundations and Computational Aspects. Oxford University Press (1994). https:\/\/doi.org\/10.1093\/oso\/9780198537694.003.0014","DOI":"10.1093\/oso\/9780198537694.003.0014"},{"key":"5_CR13","doi-asserted-by":"publisher","unstructured":"G\u00e2in\u00e2, D.: Foundations of logic programming in hybrid logics with user-defined sharing. Theor. Comput. Sci. 686, 1\u201324 (2017). https:\/\/doi.org\/10.1016\/J.TCS.2017.04.009","DOI":"10.1016\/J.TCS.2017.04.009"},{"key":"5_CR14","doi-asserted-by":"publisher","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95\u2013146 (1992). https:\/\/doi.org\/10.1145\/147508.147524","DOI":"10.1145\/147508.147524"},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"Jain, M., Gomes, L., Madeira, A., Barbosa, L.S.: Towards a specification theory for fuzzy modal logic. In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, 25\u201327 August 2021, pp. 175\u2013182. IEEE (2021). https:\/\/doi.org\/10.1109\/TASE52547.2021.00031","DOI":"10.1109\/TASE52547.2021.00031"},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"Madeira, A., Martins, M.A., Barbosa, L.S., Hennicker, R.: Refinement in hybridised institutions. Formal Aspects Comput. 27(2), 375\u2013395 (2015). https:\/\/doi.org\/10.1007\/S00165-014-0327-6","DOI":"10.1007\/S00165-014-0327-6"},{"key":"5_CR17","doi-asserted-by":"publisher","unstructured":"Madeira, A., Neves, R., Barbosa, L.S., Martins, M.A.: A method for rigorous design of reconfigurable systems. Sci. Comput. Program. 132, 50\u201376 (2016). https:\/\/doi.org\/10.1016\/J.SCICO.2016.05.001","DOI":"10.1016\/J.SCICO.2016.05.001"},{"key":"5_CR18","doi-asserted-by":"publisher","unstructured":"Martins, M.A., Madeira, A., Diaconescu, R., Barbosa, L.S.: Hybridization of institutions. In: Algebra and Coalgebra in Computer Science. 4th International Conference, CALCO 2011, Winchester, UK, 30 August\u2013 2 September 2011. Proceedings, pp. 283\u2013297. Springer, Berlin (2011). https:\/\/doi.org\/10.1007\/978-3-642-22944-2_20. http:\/\/hdl.handle.net\/1822\/15256","DOI":"10.1007\/978-3-642-22944-2_20"},{"key":"5_CR19","doi-asserted-by":"publisher","unstructured":"Sannella, D., Tarlecki, A.: Foundations of Algebraic Specification and Formal Software Development. Monographs in Theoretical Computer Science. An EATCS Series, Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-17336-3","DOI":"10.1007\/978-3-642-17336-3"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-88930-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T06:13:22Z","timestamp":1747289602000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-88930-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031889295","9783031889301"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-88930-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"16 May 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WADT","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Algebraic Development Techniques","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Enschede","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"adt2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}