{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T20:13:31Z","timestamp":1758053611022,"version":"3.44.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032041661","type":"print"},{"value":"9783032041678","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T00:00:00Z","timestamp":1757894400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T00:00:00Z","timestamp":1757894400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>We consider the reasoning problem of logical consequence between simple statements about the behaviour of continuous functions on certain intervals, representing the way that variables influence each other. Automated reasoning for such statements\u00a0has applications in formal modelling of classroom experiments in natural sciences. A previous attempt, employing a simple\u00a0proof system for this reasoning task, is known to be incomplete and unlikely to be extendable to obtain completeness for arbitrary experiments. Here we develop an algebraic approach in the form of an abstraction of the uncountable space of finite collections of continuous, real-valued functions, connected by a composition principle, into finitely many representatives of equivalence classes. We show that this is sufficient for the reasoning task at hand. The approach achieves completeness under very reasonable restrictions of the involved statements, extending what has previously been achieved using proof-theoretic means, and yields an upper bound of coNP.<\/jats:p>","DOI":"10.1007\/978-3-032-04167-8_19","type":"book-chapter","created":{"date-parts":[[2025,9,14]],"date-time":"2025-09-14T22:03:28Z","timestamp":1757887408000},"page":"346-363","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Finite Abstraction of\u00a0Real-Valued Functions for\u00a0Complete Reasoning About Influence"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-8942-7279","authenticated-orcid":false,"given":"S\u00f6ren","family":"M\u00f6ller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6800-7135","authenticated-orcid":false,"given":"Florian","family":"Bruse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1621-0972","authenticated-orcid":false,"given":"Martin","family":"Lange","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,9,15]]},"reference":[{"key":"19_CR1","doi-asserted-by":"publisher","unstructured":"Andrews, P.B.: Classical type theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 965\u20131007. North-Holland (2001). https:\/\/doi.org\/10.1016\/B978-044450813-3\/50017-5","DOI":"10.1016\/B978-044450813-3\/50017-5"},{"key":"19_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Bortolussi, L., Policriti, A.: Hybrid systems and biology. In: International School on Formal Methods for the Design of Computer, Communication and Software Systems, pp. 424\u2013448. Springer (2008)","DOI":"10.1007\/978-3-540-68894-5_12"},{"key":"19_CR4","doi-asserted-by":"publisher","unstructured":"Bruse, F., Kastaun, M., Lange, M., M\u00f6ller, S.: The calculus of temporal influence. In: Proceedings of 30th International Symposium on Temporal Representation and Reasoning, TIME 2023. LIPIcs, vol.\u00a0278, pp. 10:1\u201310:19. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2023). https:\/\/doi.org\/10.4230\/LIPICS.TIME.2023.10","DOI":"10.4230\/LIPICS.TIME.2023.10"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Bruse, F., Lange, M., M\u00f6ller, S.: Formal reasoning about influence in natural sciences experiments. In: Proceedings of 29th International Conference on Computed-Aided Deduction, CADE 2023. LNCS, vol. 14132, pp. 153\u2013169. Springer, Cham (2023)","DOI":"10.1007\/978-3-031-38499-8_9"},{"issue":"2","key":"19_CR6","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s002530051157","volume":"49","author":"I De Ory","year":"1998","unstructured":"De Ory, I., Romero, L.E., Cantero, D.: Modelling the kinetics of growth of acetobacter aceti in discontinuous culture: influence of the temperature of operation. Appl. Microbiol. Biotechnol. 49(2), 189\u2013193 (1998)","journal-title":"Appl. Microbiol. Biotechnol."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Demri, S., Goranko, V., Lange, M.: Temporal Logics in Computer Science. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (2016). http:\/\/www.cambridge.org\/core_title\/gb\/434611","DOI":"10.1017\/CBO9781139236119"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Harrison, J.: Handbook of Practical Logic and Automated Reasoning. Cambridge University Press (2009)","DOI":"10.1017\/CBO9780511576430"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Proceedings of 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278\u2013292. IEEE (1996)","DOI":"10.1109\/LICS.1996.561342"},{"key":"19_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.compedu.2020.103897","volume":"153","author":"D Hillmayr","year":"2020","unstructured":"Hillmayr, D., Ziernwald, L., Reinhold, F., Hofer, S., Reiss, K.: The potential of digital tools to enhance mathematics and science learning in secondary schools: a context-specific meta-analysis. Comput. Educ. 153, 103897 (2020)","journal-title":"Comput. Educ."},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"4384","DOI":"10.1038\/sj.emboj.7600453","volume":"23","author":"D Panne","year":"2004","unstructured":"Panne, D., Maniatis, T., Harrison, S.C.: Crystal structure of ATF-2\/c-Jun and IRF-3 bound to the interferon-beta enhancer. EMBO J. 23, 4384\u20134393 (2004). https:\/\/doi.org\/10.1038\/sj.emboj.7600453","journal-title":"EMBO J."},{"issue":"1","key":"19_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.abb.2009.07.001","volume":"493","author":"BV Plapp","year":"2010","unstructured":"Plapp, B.V.: Conformational changes and catalysis by alcohol dehydrogenase. Arch. Biochem. Biophys. 493(1), 3\u201312 (2010). https:\/\/doi.org\/10.1016\/j.abb.2009.07.001","journal-title":"Arch. Biochem. Biophys."},{"key":"19_CR14","unstructured":"Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning (in 2 volumes). Elsevier and MIT Press (2001)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Smullyan, R.M.: First-Order Logic. Springer (1968)","DOI":"10.1007\/978-3-642-86718-7"},{"key":"19_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/11885191_9","volume-title":"Computational Methods in Systems Biology","author":"LJ Steggles","year":"2006","unstructured":"Steggles, L.J., Banks, R., Wipat, A.: Modelling and analysing genetic networks: from boolean networks to petri nets. In: Priami, C. (ed.) CMSB 2006. LNCS, vol. 4210, pp. 127\u2013141. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11885191_9"},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Sumatokhin, S., Petrova, O., Serovayskaya, D., Chistiakov, F.: Digitalization of school biological education: problems and solutions. In: SHS Web of Conferences, vol.\u00a079, p. 01016. EDP Sciences (2020)","DOI":"10.1051\/shsconf\/20207901016"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Theocharopoulou, G., Bobori, C., Vlamos, P.: Formal models of biological systems. In: Proceedings of 2nd World Congress on Genetics, Geriatrics and Neurodegenerative Disease, GeNeDis 2016, Advances in Experimental Medicine and Biology, vol.\u00a0987, pp. 325\u2013338. Springer (2017)","DOI":"10.1007\/978-3-319-56246-9_27"}],"container-title":["Lecture Notes in Computer Science","Frontiers of Combining Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-04167-8_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,14]],"date-time":"2025-09-14T22:03:30Z","timestamp":1757887410000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-04167-8_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,15]]},"ISBN":["9783032041661","9783032041678"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-04167-8_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,15]]},"assertion":[{"value":"15 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FroCoS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Frontiers of Combining Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Reykjavik","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Iceland","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":"27 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"frocos2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icetcs.github.io\/frocos-itp-tableaux25\/frocos\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}