{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T04:57:39Z","timestamp":1785560259686,"version":"3.56.0"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031947476","type":"print"},{"value":"9783031947483","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,12]],"date-time":"2025-08-12T00:00:00Z","timestamp":1754956800000},"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":[[2026]]},"DOI":"10.1007\/978-3-031-94748-3_5","type":"book-chapter","created":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T19:14:30Z","timestamp":1754939670000},"page":"62-76","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Higher-Order Arrows for\u00a0Path-Dependent Many-Valued Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6941-7555","authenticated-orcid":false,"given":"S\u00e9rgio","family":"Marcelino","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,8,12]]},"reference":[{"key":"5_CR1","doi-asserted-by":"publisher","unstructured":"Aucher, G., Benthem, J., van Grossi, D.: Modal logics of sabotage revisited. J. Logic Comput. 28(2), 269\u2013303 (2017). https:\/\/doi.org\/10.1093\/logcom\/exx034","DOI":"10.1093\/logcom\/exx034"},{"issue":"7","key":"5_CR2","doi-asserted-by":"publisher","first-page":"961","DOI":"10.1016\/j.apal.2011.09.005","volume":"163","author":"C Areces","year":"2012","unstructured":"Areces, C., Figueira, S., Mera, S.: Completeness results for memory logics. Ann. Pure Appl. Logic 163(7), 961\u2013972 (2012). https:\/\/doi.org\/10.1016\/j.apal.2011.09.005","journal-title":"Ann. Pure Appl. Logic"},{"key":"5_CR3","doi-asserted-by":"publisher","unstructured":"Caleiro, C., Marcelino, S., Rivieccio, U.: some more theorems on structural entailment relations and non-deterministic semantics. In: Malinowski, J., Palczewski, R. (eds.) Janusz Czelakowski on Logical Consequence. Outstanding Contributions to Logic, vol. 27, Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-44490-6_12","DOI":"10.1007\/978-3-031-44490-6_12"},{"key":"5_CR4","doi-asserted-by":"publisher","unstructured":"Caleiro, C., Marcelino, S.: Modular many-valued semantics for combined logics. J. Symb. Logic, 1\u201354 (2023). https:\/\/doi.org\/10.1017\/jsl.2023.22","DOI":"10.1017\/jsl.2023.22"},{"key":"5_CR5","unstructured":"Font, J.: Abstract Algebraic Logic. Studies in Logic. Mathematical Logic and Foundation, vol. 60. College Publications, London (2016)"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Campos, S., Santiago, R., Martins, A.M., Figueiredo, D.: Reversal fuzzy switch graphs. In: Carvalho, S.V. (ed.) Formal Methods: Foundations and Applications, SBMF 2020, LNCS, vol. 12475, pp. 137\u2013154. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-63799-4_9","DOI":"10.1007\/978-3-030-63799-4_9"},{"key":"5_CR7","unstructured":"Gabbay, D.: Reactive Kripke semantics and arc accessibility. In: Carnielli, W., Dionisio, F.M., Mateus, P. (eds.) Proceedings of CombLog 2004, Centre for Logic and Computation, University of Lisbon, pp. 7\u201320 (2004)"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/978-3-540-78127-1_17","volume-title":"Pillars of Computer Science","author":"DM Gabbay","year":"2008","unstructured":"Gabbay, D.M.: Introducing reactive kripke semantics and arc accessibility. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science. LNCS, vol. 4800, pp. 292\u2013341. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78127-1_17"},{"issue":"1","key":"5_CR9","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10472-012-9316-8","volume":"66","author":"D Gabbay","year":"2012","unstructured":"Gabbay, D., Marcelino, S.: Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. 66(1), 131\u2013162 (2012). https:\/\/doi.org\/10.1007\/s10472-012-9316-8","journal-title":"Ann. Math. Artif. Intell."},{"key":"5_CR10","unstructured":"Marcelino, S.: Modal logic for changing systems. PhD thesis, University of London (2011)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2268660","volume":"16","author":"R McNaughton","year":"1951","unstructured":"McNaughton, R.: A theorem about infinite-valued sentential logic. J. Symb. Logic 16, 1\u201313 (1951). https:\/\/doi.org\/10.2307\/2268660","journal-title":"J. Symb. Logic"},{"issue":"4","key":"5_CR12","doi-asserted-by":"publisher","first-page":"861","DOI":"10.2307\/3214718","volume":"29","author":"YH Wang","year":"1992","unstructured":"Wang, Y.H.: Approximating kth-order two-state Markov chains. J. Appl. Probab. 29(4), 861\u2013868 (1992). https:\/\/doi.org\/10.2307\/3214718","journal-title":"J. Appl. Probab."},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"6759","DOI":"10.1016\/j.scico.2022.102776","volume":"25","author":"R Santiago","year":"2021","unstructured":"Santiago, R., Martins, A.M., Figueiredo, D.: Introducing fuzzy reactive graphs: a simple application on biology. Soft. Comput. 25, 6759\u20136774 (2021). https:\/\/doi.org\/10.1016\/j.scico.2022.102776","journal-title":"Soft. Comput."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-94748-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T04:08:56Z","timestamp":1785557336000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94748-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,12]]},"ISBN":["9783031947476","9783031947483"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94748-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,12]]},"assertion":[{"value":"12 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author has no competing interests to declare that\u00a0are relevant to the content of this article.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Aveiro","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","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":"4 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}