{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T04:57:36Z","timestamp":1785560256082,"version":"3.56.0"},"publisher-location":"Cham","reference-count":21,"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_4","type":"book-chapter","created":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T19:14:38Z","timestamp":1754939678000},"page":"50-61","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Binders for\u00a0Switch Graphs Specification"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Figueiredo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,8,12]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: An essay on sabotage and obstruction. In: Mechanizing Mathematical Reasoning, pp. 268\u2013276. Springer, Heidelberg (2005)","DOI":"10.1007\/978-3-540-32254-2_16"},{"issue":"6","key":"4_CR2","doi-asserted-by":"publisher","first-page":"1216","DOI":"10.1093\/logcom\/exac006","volume":"33","author":"J van Benthem","year":"2023","unstructured":"van Benthem, J., Li, L., Shi, C., Yin, H.: Hybrid sabotage modal logic. J. Log. Comput. 33(6), 1216\u20131242 (2023)","journal-title":"J. Log. Comput."},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1093\/jigpal\/jzt030","volume":"22","author":"C Areces","year":"2013","unstructured":"Areces, C., Fervari, R., Hoffmann, G.: Swap logic. Logic J. IGPL 22, 309\u2013332 (2013)","journal-title":"Logic J. IGPL"},{"issue":"4","key":"4_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)","journal-title":"Logic J. IGPL"},{"issue":"3","key":"4_CR5","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Baltag, A., Van Ditmarsch, H., Herzig, A., Hoshi, T., De Lima, T.: Knowable\u2019as \u2018known after an announcement. Rev. Symb. Logic 1(3), 305\u2013334 (2008)","journal-title":"Rev. Symb. Logic"},{"issue":"2","key":"4_CR6","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s11225-009-9214-1","volume":"93","author":"DM Gabbay","year":"2009","unstructured":"Gabbay, D.M., Marcelino, S.: Modal logics of reactive frames. Studia Logica 93(2), 405\u2013446 (2009)","journal-title":"Studia Logica"},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1016\/j.ic.2011.01.002","volume":"209","author":"M Crochemore","year":"2011","unstructured":"Crochemore, M., Gabbay, D.M.: Reactive automata. Inf. Comput. 209(4), 692\u2013704 (2011)","journal-title":"Inf. Comput."},{"key":"4_CR8","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":"4_CR9","unstructured":"Figueiredo, D.: Logical foundations and computational tools for synthetic biology. PhD thesis, Universities of Minho, Aveiro and Porto joint doctoral program (2020)"},{"key":"4_CR10","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 paraconsistency. J. Logical Algebraic Methods Program. 133, 100870 (2023)","journal-title":"J. Logical Algebraic Methods Program."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Figueiredo, D., Rocha, E., Martins, M.A., Chaves, M.: rPrism -a software for reactive weighted state transition models. In: HSB 2019 - 6th International Workshop, Hybrid Systems Biology, pp. 165\u2013174 (2019)","DOI":"10.1007\/978-3-030-28042-0_11"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-030-63882-5_9","volume-title":"Formal Methods: Foundations and Applications","author":"S Campos","year":"2020","unstructured":"Campos, S., Santiago, R., Martins, M.A., Figueiredo, D.: Reversal fuzzy switch graphs. In: Carvalho, G., Stolz, V. (eds.) SBMF 2020. LNCS, vol. 12475, pp. 137\u2013154. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-63882-5_9"},{"key":"4_CR13","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)","journal-title":"Sci. Comput. Program."},{"issue":"1\u20134","key":"4_CR14","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\u20134), 131\u2013162 (2012)","journal-title":"Ann. Math. Artif. Intell."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Areces, C., ten Cate, B.: 14 hybrid logics. In: Studies in Logic and Practical Reasoning, vol. 3, pp. 821\u2013868. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80017-6"},{"issue":"3","key":"4_CR16","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/BF01049415","volume":"4","author":"P Blackburn","year":"1995","unstructured":"Blackburn, P., Seligman, J.: Hybrid languages. J. Logic Lang. Inf. 4(3), 251\u2013272 (1995)","journal-title":"J. Logic Lang. Inf."},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/j.tcs.2018.03.004","volume":"744","author":"A Madeira","year":"2018","unstructured":"Madeira, A., Barbosa, L.S., Hennicker, R., Martins, M.A.: A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744, 78\u201396 (2018)","journal-title":"Theor. Comput. Sci."},{"issue":"9","key":"4_CR18","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)","journal-title":"Soft Comput."},{"key":"4_CR19","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":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-319-72044-9_10","volume-title":"Recent Trends in Algebraic Development Techniques","author":"R Hennicker","year":"2017","unstructured":"Hennicker, R., Madeira, A.: Observational semantics for dynamic logic with binders. In: James, P., Roggenbach, M. (eds.) WADT 2016. LNCS, vol. 10644, pp. 135\u2013152. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-72044-9_10"},{"key":"4_CR21","doi-asserted-by":"publisher","unstructured":"Tinoco, D., Madeira, A., Martins, M.A., Proen\u00e7a, J.: Reactive graphs in action. In:\u00a0Marmsoler, D.,\u00a0Sun, M. (eds.) International Conference on Formal Aspects of Component Software, vol. 15189 of Lecture Notes in Computer Science, pp. 97\u2013105. Springer, Heidelberg (2024). https:\/\/doi.org\/10.1007\/978-3-031-71261-6_6","DOI":"10.1007\/978-3-031-71261-6_6"}],"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_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T04:08:19Z","timestamp":1785557299000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-94748-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,12]]},"ISBN":["9783031947476","9783031947483"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-94748-3_4","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":"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"}}]}}