{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:31:38Z","timestamp":1767137498785,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031995354","type":"print"},{"value":"9783031995361","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"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-99536-1_17","type":"book-chapter","created":{"date-parts":[[2025,7,31]],"date-time":"2025-07-31T10:54:19Z","timestamp":1753959259000},"page":"278-292","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Graded Relation Updates in\u00a0Modal Logic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0360-0725","authenticated-orcid":false,"given":"Raul","family":"Fervari","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1727-9098","authenticated-orcid":false,"given":"Daniel","family":"Figueiredo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5109-8066","authenticated-orcid":false,"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,1]]},"reference":[{"issue":"3\u20134","key":"17_CR1","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1080\/11663081.2021.1964327","volume":"31","author":"C Areces","year":"2021","unstructured":"Areces, C., van Ditmarsch, H., Fervari, R., Maubert, B., Schwarzentruber, F.: Copy and remove as dynamic operators. J. Appl. Non Class. Logics 31(3\u20134), 181\u2013220 (2021)","journal-title":"J. Appl. Non Class. Logics"},{"key":"17_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/978-3-642-40885-4_19","volume-title":"Frontiers of Combining Systems","author":"C Areces","year":"2013","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Tableaux for relation-changing modal logics. In: Fontaine, P., Ringeissen, C., Schmidt, R.A. (eds.) FroCoS 2013. LNCS (LNAI), vol. 8152, pp. 263\u2013278. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40885-4_19"},{"issue":"2","key":"17_CR3","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1093\/JIGPAL\/JZT030","volume":"22","author":"C Areces","year":"2014","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Swap logic. Logic J. IGPL 22(2), 309\u2013332 (2014). https:\/\/doi.org\/10.1093\/JIGPAL\/JZT030","journal-title":"Logic J. IGPL"},{"issue":"4","key":"17_CR4","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1093\/jigpal\/jzv020","volume":"23","author":"C Areces","year":"2015","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Relation-changing modal operators. Logic J. IGPL 23(4), 601\u2013627 (2015). https:\/\/doi.org\/10.1093\/jigpal\/jzv020","journal-title":"Logic J. IGPL"},{"issue":"2","key":"17_CR5","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1093\/logcom\/exx034","volume":"28","author":"G Aucher","year":"2018","unstructured":"Aucher, G., van Benthem, J., Grossi, D.: Modal logics of sabotage revisited. J. Log. Comput. 28(2), 269\u2013303 (2018)","journal-title":"J. Log. Comput."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Baaz, M., Ferm\u00fcller, C.G., Salzer, G.: Automated deduction for many-valued logics. In: Robinson, J.A., Voronkov, A. (eds.) Handbook of Automated Reasoning (in 2 volumes), pp. 1355\u20131402. Elsevier and MIT Press (2001)","DOI":"10.1016\/B978-044450813-3\/50022-9"},{"key":"17_CR7","doi-asserted-by":"publisher","unstructured":"Baczy\u0144ski, M., Jayaram, B.: Fuzzy Implications, Studies in Fuzziness Soft Computing, vol.\u00a0231. Springer, Berlin (2008). https:\/\/doi.org\/10.1007\/978-3-540-69082-5","DOI":"10.1007\/978-3-540-69082-5"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-32254-2_16","volume-title":"Mechanizing Mathematical Reasoning","author":"J Benthem","year":"2005","unstructured":"Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 268\u2013276. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-32254-2_16"},{"key":"17_CR9","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-981-15-2221-5_7","volume-title":"Knowledge, Proof and Dynamics","author":"J van Benthem","year":"2020","unstructured":"van Benthem, J., Liu, F.: Graph games and logic design. In: Liu, F., Ono, H., Yu, J. (eds.) Knowledge, Proof and Dynamics, pp. 125\u2013146. Springer, Singapore (2020)"},{"key":"17_CR10","doi-asserted-by":"publisher","unstructured":"Blackburn, P., van Benthem, J.: Modal logic: a semantic perspective. In: Handbook of Modal Logic, pp. 1\u201384. Elsevier (2006). https:\/\/doi.org\/10.1016\/s1570-2464(07)80004-8","DOI":"10.1016\/s1570-2464(07)80004-8"},{"key":"17_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2002","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2002). https:\/\/doi.org\/10.1017\/CBO9781107050884"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Boice, A., Bouchier-Hayes, L.: Targeting apoptotic caspases in cancer. Biochimica et Biophysica Acta (BBA)-Mol. Cell Res. 1867(6), 118688 (2020)","DOI":"10.1016\/j.bbamcr.2020.118688"},{"issue":"2","key":"17_CR13","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s11225-010-9230-1","volume":"94","author":"X Caicedo","year":"2010","unstructured":"Caicedo, X., Rodr\u00edguez, R.O.: Standard g\u00f6del modal logics. Stud. Logica. 94(2), 189\u2013214 (2010)","journal-title":"Stud. Logica."},{"key":"17_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/J.FSS.2022.03.015","volume":"466","author":"S Campos","year":"2023","unstructured":"Campos, S., Santiago, R., Martins, M.A., Figueiredo, D.: Aggregation-based operations for reversal fuzzy switch graphs. Fuzzy Sets Syst. 466, 108273 (2023). https:\/\/doi.org\/10.1016\/J.FSS.2022.03.015","journal-title":"Fuzzy Sets Syst."},{"key":"17_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2022.102776","volume":"216","author":"S Campos","year":"2022","unstructured":"Campos, S., Santiago, R., Martins, M.A., Figueiredo, D.: Introduction to reversal fuzzy switch graph. Sci. Comput. Program. 216, 102776 (2022). https:\/\/doi.org\/10.1016\/J.SCICO.2022.102776","journal-title":"Sci. Comput. Program."},{"key":"17_CR16","doi-asserted-by":"publisher","DOI":"10.1016\/J.JLAMP.2023.100870","volume":"133","author":"D Costa","year":"2023","unstructured":"Costa, D., Figueiredo, D., Martins, M.A.: Relation-changing models meet para-consistency. J. Logical Algebraic Methods Program. 133, 100870 (2023). https:\/\/doi.org\/10.1016\/J.JLAMP.2023.100870","journal-title":"J. Logical Algebraic Methods Program."},{"key":"17_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H van Ditmarsch","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Cham (2007). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"key":"17_CR18","unstructured":"Fervari, R.: Relation-Changing Modal Logics. Ph.D. thesis, Universidad Nacional de C\u00f3rdoba (2014)"},{"key":"17_CR19","doi-asserted-by":"publisher","DOI":"10.1016\/J.JLAMP.2021.100642","volume":"120","author":"R Fervari","year":"2021","unstructured":"Fervari, R., Trucco, F., Ziliani, B.: Verification of dynamic bisimulation theorems in Coq. J. Logical Algebraic Methods Program. 120, 100642 (2021). https:\/\/doi.org\/10.1016\/J.JLAMP.2021.100642","journal-title":"J. Logical Algebraic Methods Program."},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-030-19432-1_5","volume-title":"Molecular Logic and Computational Synthetic Biology","author":"D Figueiredo","year":"2019","unstructured":"Figueiredo, D., Barbosa, L.S.: Reactive models for biological regulatory networks. In: Chaves, M., Martins, M.A. (eds.) MLCSB 2018. LNCS, vol. 11415, pp. 74\u201388. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-19432-1_5"},{"key":"17_CR21","doi-asserted-by":"publisher","unstructured":"Figueiredo, D., Martins, M.A., Barbosa, L.S.: A note on reactive transitions and Reo connectors. In: It\u2019s All About Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, pp. 57\u201367. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-90089-6_4","DOI":"10.1007\/978-3-319-90089-6_4"},{"issue":"1","key":"17_CR22","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)","journal-title":"Ann. Math. Artif. Intell."},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"H\u00e1jek, P.: Metamathematics of fuzzy logic, Trends Log. Stud. Log. Libr., vol.\u00a04. Dordrecht: Kluwer Academic Publishers (1998)","DOI":"10.1007\/978-94-011-5300-3"},{"key":"17_CR24","doi-asserted-by":"publisher","unstructured":"Jasani, S.: Chapter 147 - smoke inhalation. In: Silverstein, D.C., Hopper, K. (eds.) Small Animal Critical Care Medicine (Second Edition), pp. 785\u2013788. W.B. Saunders, St. Louis, second edition edn. (2015). https:\/\/doi.org\/10.1016\/B978-1-4557-0306-7.00147-1, https:\/\/www.sciencedirect.com\/science\/article\/pii\/B9781455703067001471","DOI":"10.1016\/B978-1-4557-0306-7.00147-1"},{"key":"17_CR25","doi-asserted-by":"publisher","DOI":"10.1016\/j.canep.2023.102496","volume":"88","author":"D Mendes","year":"2024","unstructured":"Mendes, D., Figueiredo, D., Alves, C., Penedones, A., Costa, B., Batel-Marques, F.: Impact of the Covid-19 pandemic on cancer screenings in Portugal. Cancer Epidemiol. 88, 102496 (2024)","journal-title":"Cancer Epidemiol."},{"key":"17_CR26","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.fss.2014.07.008","volume":"262","author":"H Pan","year":"2015","unstructured":"Pan, H., Li, Y., Cao, Y., Ma, Z.: Model checking fuzzy computation tree logic. Fuzzy Sets Syst. 262, 60\u201377 (2015)","journal-title":"Fuzzy Sets Syst."},{"issue":"2","key":"17_CR27","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese 158(2), 165 (2007)","journal-title":"Synthese"},{"key":"17_CR28","doi-asserted-by":"publisher","unstructured":"Reynolds, J.C.: Separation logic: a logic for shared mutable data structures. In: 17th IEEE Symposium on Logic in Computer Science (LICS 2002), pp. 55\u201374. IEEE Computer Society (2002). https:\/\/doi.org\/10.1109\/LICS.2002.1029817","DOI":"10.1109\/LICS.2002.1029817"},{"issue":"9","key":"17_CR29","doi-asserted-by":"publisher","first-page":"6759","DOI":"10.1007\/s00500-020-05353-1","volume":"25","author":"R Santiago","year":"2021","unstructured":"Santiago, R., Martins, M.A., Figueiredo, D.: Introducing fuzzy reactive graphs: a simple application on biology. Soft. Comput. 25(9), 6759\u20136774 (2021). https:\/\/doi.org\/10.1007\/s00500-020-05353-1","journal-title":"Soft. Comput."},{"key":"17_CR30","unstructured":"Vidal, A.: On modal expansions of t-norm based logics with rational constants. Ph.D. thesis, Universitat de Barcelona (2015)"},{"issue":"1","key":"17_CR31","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1093\/logcom\/exv046","volume":"27","author":"A Vidal","year":"2017","unstructured":"Vidal, A., Esteva, F., Godo, L.: On modal extensions of product fuzzy logic. J. Log. Comput. 27(1), 299\u2013336 (2017)","journal-title":"J. Log. Comput."},{"key":"17_CR32","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/j.fss.2020.01.002","volume":"401","author":"A Vidal","year":"2020","unstructured":"Vidal, A., Esteva, F., Godo, L.: Axiomatizing logics of fuzzy preferences using graded modalities. Fuzzy Sets Syst. 401, 163\u2013188 (2020)","journal-title":"Fuzzy Sets Syst."},{"key":"17_CR33","doi-asserted-by":"crossref","unstructured":"Wilson, I.A., Stanfield, R.L.: 50 years of structural immunology. J. Biol. Chem. 296 (2021)","DOI":"10.1016\/j.jbc.2021.100745"}],"updated-by":[{"DOI":"10.1007\/978-3-031-99536-1_23","type":"correction","label":"Correction","source":"publisher","updated":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T00:00:00Z","timestamp":1765152000000}}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99536-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,7]],"date-time":"2025-12-07T14:07:11Z","timestamp":1765116431000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99536-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,1]]},"ISBN":["9783031995354","9783031995361"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99536-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,1]]},"assertion":[{"value":"1 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"8 December 2025","order":2,"name":"change_date","label":"Change Date","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Correction","order":3,"name":"change_type","label":"Change Type","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"A correction has been published.","order":4,"name":"change_details","label":"Change Details","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"WoLLIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Language, Information, and Computation","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Porto","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":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 July 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 July 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"wollic2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/wollic.org\/wollic2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}