{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:51:45Z","timestamp":1761598305936,"version":"3.37.3"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"9","license":[{"start":{"date-parts":[[2021,2,13]],"date-time":"2021-02-13T00:00:00Z","timestamp":1613174400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,2,13]],"date-time":"2021-02-13T00:00:00Z","timestamp":1613174400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Coalgebraic Modeling and Analysis for Computational Synthetic Biology","award":["POCI-01-0145-FEDER-030947"],"award-info":[{"award-number":["POCI-01-0145-FEDER-030947"]}]},{"name":"Centro de Investiga\u00e7\u00e3o e Desenvolvimento em Matem\u00e1tica e Aplica\u00e7\u00f5es","award":["Decree-Law 57\/2016"],"award-info":[{"award-number":["Decree-Law 57\/2016"]}]},{"name":"Distributed Architectures: Variability and Interaction for Cyber-Physical Systems","award":["POCI-01-0145-FEDER-029946"],"award-info":[{"award-number":["POCI-01-0145-FEDER-029946"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Soft Comput"],"published-print":{"date-parts":[[2021,5]]},"DOI":"10.1007\/s00500-021-05593-9","type":"journal-article","created":{"date-parts":[[2021,2,14]],"date-time":"2021-02-14T08:37:40Z","timestamp":1613291860000},"page":"6789-6805","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A semantics and a logic for Fuzzy Arden Syntax"],"prefix":"10.1007","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1180-0620","authenticated-orcid":false,"given":"Leandro","family":"Gomes","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0646-2017","authenticated-orcid":false,"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5037-2588","authenticated-orcid":false,"given":"Lu\u00eds Soares","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,2,13]]},"reference":[{"key":"5593_CR1","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/j.artmed.2015.09.006","volume":"92","author":"V Anand","year":"2018","unstructured":"Anand V, Carroll AE, Biondich PG, Dugan TM, Downs SM (2018) Pediatric decision support using adapted arden syntax. Artif Intell Med 92:15\u201323","journal-title":"Artif Intell Med"},{"key":"5593_CR2","unstructured":"Behounek L (2008) Modeling costs of program runs in fuzzified propositional dynamic logic. In: Hakl F (ed) Doktorandsk\u00e9 dny 08. ICS AS CR and Matfyzpress, pp 6\u201314"},{"key":"5593_CR3","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"WJ Blok","year":"2000","unstructured":"Blok WJ, Ferreirim I (2000) On the structure of hoops. Algebra Univ 43:233\u2013257","journal-title":"Algebra Univ"},{"key":"5593_CR4","doi-asserted-by":"publisher","first-page":"739","DOI":"10.1093\/logcom\/exp062","volume":"21","author":"F Bou","year":"2011","unstructured":"Bou F, Esteva F, Godo L, Rodr\u00edguez R (2011) On the minimum many-valued modal logic over a finite residuated lattice. J Logic Comput 21:739\u2013790","journal-title":"J Logic Comput"},{"key":"5593_CR5","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s11225-010-9230-1","volume":"94","author":"X Caicedo","year":"2010","unstructured":"Caicedo X, Rodriguez R (2010) Standard G\u00f6del modal logics. Stud Logica 94:189\u2013214","journal-title":"Stud Logica"},{"key":"5593_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1080\/18756891.2013.818190","volume":"6","author":"P Cingolani","year":"2013","unstructured":"Cingolani P, Alcal\u00e1-fdez J (2013) jFuzzyLogic: a java library to design fuzzy logic controllers according to the standard for fuzzy control programming. Int J Comput Intell Syst 6:61\u201375","journal-title":"Int J Comput Intell Syst"},{"issue":"3","key":"5593_CR7","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1142\/S012905410200114X","volume":"13","author":"J den Hartog","year":"2002","unstructured":"den Hartog J, de Vink EP (2002) Verifying probabilistic programs using a Hoare like logic. Int J Found Comput Sci 13(3):315\u2013340","journal-title":"Int J Found Comput Sci"},{"key":"5593_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.ijar.2020.06.003","volume":"124","author":"A Di Nola","year":"2020","unstructured":"Di Nola A, Grigolia R, Vitale G (2020) Dynamic \u0141ukasiewicz logic and dynamic MV-algebras. Int J Approx Reason 124:103\u2013110","journal-title":"Int J Approx Reason"},{"issue":"2","key":"5593_CR9","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer MJ, Ladner RE (1979) Propositional dynamic logic of regular programs. J Comput Syst Sci 18(2):194\u2013211","journal-title":"J Comput Syst Sci"},{"key":"#cr-split#-5593_CR10.1","doi-asserted-by":"crossref","unstructured":"Foster N, Kozen D, Mamouras K, Reitblatt M, Silva A (2016) Probabilistic NetKAT. In: Thiemann P","DOI":"10.1007\/978-3-662-49498-1_12"},{"key":"#cr-split#-5593_CR10.2","unstructured":"(ed) Programming languages and systems-ESOP 2016, Held as Part of ETAPS 2016, Eindhoven, The Netherlands, Proceedings, volume 9632 of LNCS. Springer, Berlin, pp 282-309"},{"key":"5593_CR11","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.jlamp.2017.04.002","volume":"90","author":"H Furusawa","year":"2017","unstructured":"Furusawa H, Kawahara Y, Struth G, Tsumagari N (2017) Kleisli, Parikh and Peleg compositions and liftings for multirelations. J Loginc Algebraic Methods Program 90:84\u2013101","journal-title":"J Loginc Algebraic Methods Program"},{"key":"5593_CR12","doi-asserted-by":"crossref","unstructured":"Furusawa H, Struth G (2015) Concurrent dynamic algebra. ACM Trans Comput Logic 16(4):30:1\u201330:38","DOI":"10.1145\/2785967"},{"key":"5593_CR13","volume-title":"Residuated Lattices: an algebraic glimpse at substructural logics","author":"N Galatos","year":"2007","unstructured":"Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated Lattices: an algebraic glimpse at substructural logics. Elsevier, Amsterdam"},{"issue":"2","key":"5593_CR14","first-page":"141","volume":"29","author":"L Gomes","year":"2019","unstructured":"Gomes L, Madeira A, Barbosa LS (2019) Generalising KAT to verify weighted computations. Sci Ann Comput Sci 29(2):141\u2013184","journal-title":"Sci Ann Comput Sci"},{"key":"5593_CR15","doi-asserted-by":"crossref","unstructured":"Hansoul G, Teheux B (2013) Extending \u0141ukasiewicz logics with a modality: algebraic approach to relational semantics. Studia Logica 101","DOI":"10.1007\/s11225-012-9396-9"},{"key":"5593_CR16","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic logic","author":"D Harel","year":"2000","unstructured":"Harel D, Kozen D, Tiuryn J (2000) Dynamic logic. MIT Press, Cambridge"},{"issue":"6","key":"5593_CR17","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.jlap.2011.04.005","volume":"80","author":"T Hoare","year":"2011","unstructured":"Hoare T, M\u00f6ller B, Struth G, Wehrman I (2011) Concurrent Kleene algebra and its foundations. J Logic Algebraic Methods Program 80(6):266\u2013296","journal-title":"J Logic Algebraic Methods Program"},{"key":"5593_CR18","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10849-005-9008-4","volume":"15","author":"J Hughes","year":"2006","unstructured":"Hughes J, Kimiaghalam B (2006) Means-end relations and a measure of efficacy. J Logic Lang Inf 15:83\u2013108","journal-title":"J Logic Lang Inf"},{"issue":"18","key":"5593_CR19","doi-asserted-by":"publisher","first-page":"2389","DOI":"10.1016\/j.fss.2009.11.011","volume":"161","author":"P H\u00e1jek","year":"2010","unstructured":"H\u00e1jek P (2010) On fuzzy modal logics s5(c). Fuzzy Sets Syst 161(18):2389\u20132396","journal-title":"Fuzzy Sets Syst"},{"issue":"2","key":"5593_CR20","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/0022-0000(85)90012-1","volume":"30","author":"D Kozen","year":"1985","unstructured":"Kozen D (1985) A probabilistic PDL. J Comput Syst Sci 30(2):162\u2013178","journal-title":"J Comput Syst Sci"},{"key":"5593_CR21","doi-asserted-by":"crossref","unstructured":"Kozen D (1993) On action algebras. In: Logic and the flow of information. Amsterdam","DOI":"10.7146\/dpb.v21i381.6613"},{"key":"5593_CR22","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D Kozen","year":"1994","unstructured":"Kozen D (1994) A completeness theorem for Kleene algebras and the algebra of regular events. Inf Comput 110:366\u2013390","journal-title":"Inf Comput"},{"issue":"212","key":"5593_CR23","first-page":"1","volume":"1","author":"D Kozen","year":"2000","unstructured":"Kozen D (2000) On Hoare logic and Kleene algebra with tests. ACM Trans Comput Logic TOCL 1(212):1\u201314","journal-title":"ACM Trans Comput Logic TOCL"},{"key":"5593_CR24","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/978-3-540-48061-7_36","volume-title":"New directions in rough sets, data mining, and granular-soft computing","author":"C-J Liau","year":"1999","unstructured":"Liau C-J (1999) Many-valued dynamic logic for qualitative decision theory. In: Zhong N, Skowron A, Ohsuga S (eds) New directions in rough sets, data mining, and granular-soft computing. Springer, Berlin, pp 294\u2013303"},{"key":"5593_CR25","first-page":"1","volume":"1","author":"A Madeira","year":"2016","unstructured":"Madeira A, Neves R, Martins MA (2016) An exercise on the generation of many-valued dynamic logics. J Log Algebraic Methods Program 1:1\u201329","journal-title":"J Log Algebraic Methods Program"},{"issue":"1","key":"5593_CR26","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1016\/j.jlap.2007.10.005","volume":"76","author":"A McIver","year":"2008","unstructured":"McIver A, Gonzalia C, Cohen E, Morgan C (2008) Using probabilistic Kleene algebra for protocol verification. J Logic Algebraic Methods Program 76(1):90\u2013111","journal-title":"J Logic Algebraic Methods Program"},{"key":"5593_CR27","doi-asserted-by":"crossref","unstructured":"McIver A, Rabehaja TM, Struth G (2013) Probabilistic concurrent Kleene algebra. In: Bortolussi L, Wiklicky H (eds) Proceedings QAPL 2013, Rome, Italy, volume 117 of EPTCS, pp 97\u2013115","DOI":"10.4204\/EPTCS.117.7"},{"key":"5593_CR28","doi-asserted-by":"crossref","unstructured":"Parikh R (1983) Propositional game logic. In: 24th annual symposium on foundations of computer science, Tucson, Arizona, USA, 1983, SFCS\u201983. IEEE Computer Society, pp 195\u2013200","DOI":"10.1109\/SFCS.1983.47"},{"key":"5593_CR29","doi-asserted-by":"crossref","unstructured":"Parikh R (1985) The logic of games and its applications. In: Karplnski M, van Leeuwen J (eds) Topics in the theory of computation, volume 102 of North-Holland mathematics studies. North-Holland, pp 111 \u2013 139","DOI":"10.1016\/S0304-0208(08)73078-0"},{"issue":"2","key":"5593_CR30","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1145\/23005.23008","volume":"34","author":"D Peleg","year":"1987","unstructured":"Peleg D (1987) Concurrent dynamic logic. J ACM 34(2):450\u2013479","journal-title":"J ACM"},{"key":"#cr-split#-5593_CR31.1","doi-asserted-by":"crossref","unstructured":"Pratt VR (1991) Action logic and pure induction. In: van Eijck J","DOI":"10.1007\/BFb0018436"},{"key":"#cr-split#-5593_CR31.2","unstructured":"(ed) Logics in AI, JELIA 1990 proceedings, volume 478 of LNCS (lecture notes in artificial intelligence). Springer, Berlin, pp 97-120"},{"issue":"7","key":"5593_CR32","doi-asserted-by":"publisher","first-page":"608","DOI":"10.1016\/j.jlap.2010.07.009","volume":"79","author":"C Prisacariu","year":"2010","unstructured":"Prisacariu C (2010) Synchronous Kleene algebra. J Log Algebraic Methods Program 79(7):608\u2013635","journal-title":"J Log Algebraic Methods Program"},{"key":"5593_CR33","unstructured":"Qiao R, Wu J, Wang Y, Gao X (2008) Operational semantics of probabilistic Kleene algebra with tests. In: Proceedings\u2014IEEE symposium on computers and communications, pp 706\u2013713"},{"key":"5593_CR34","doi-asserted-by":"crossref","unstructured":"Rewitzky I (2003) Binary multirelations. In de\u00a0Swart HCM, Orlowska E, Schmidt G, Roubens M (eds) Theory and applications of relational structures as knowledge instruments, COST Action 274, TARSKI, revised papers, volume 2929 of Lecture notes in computer science. Springer, Berlin, pp 256\u2013271","DOI":"10.1007\/978-3-540-24615-2_12"},{"key":"5593_CR35","doi-asserted-by":"crossref","unstructured":"Rewitzky I, Brink C (2006) Monotone predicate transformers as up-closed multirelations. In: Schmidt RA (ed) Relations and Kleene algebra in computer science. Springer, Berlin, pp 311\u2013327","DOI":"10.1007\/11828563_21"},{"issue":"4","key":"5593_CR36","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1016\/j.jbi.2012.02.001","volume":"45","author":"M Samwald","year":"2012","unstructured":"Samwald M, Fehre K, de Bruin J, Adlassnig K-P (2012) The Arden Syntax standard for clinical decision support: experiences and directions. J Biomed Inform 45(4):711\u2013718","journal-title":"J Biomed Inform"},{"key":"5593_CR37","first-page":"561","volume-title":"Advances in modal logic","author":"I Sedl\u00e1r","year":"2020","unstructured":"Sedl\u00e1r I (2020) Finitely-valued propositional dynamic logic. In: Olivetti N, Sandu G, Verbrugge R, Negri S (eds) Advances in modal logic, vol 13. College Publications, Bern, pp 561\u2013579"},{"issue":"5","key":"5593_CR38","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1016\/0010-4825(94)90010-8","volume":"24","author":"JB Starren","year":"1994","unstructured":"Starren JB, Hripcsak G, Jordan D, Allen B, Weissman C, Clayton PD (1994) Encoding a post-operative coronary artery bypass surgery care plan in the Arden Syntax. Comput Biol Med 24(5):411\u2013417","journal-title":"Comput Biol Med"},{"issue":"4","key":"5593_CR39","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1016\/j.jal.2014.04.001","volume":"12","author":"B Teheux","year":"2014","unstructured":"Teheux B (2014) Propositional dynamic logic for searching games with errors. J Appl Logic 12(4):377\u2013394","journal-title":"J Appl Logic"},{"key":"5593_CR40","first-page":"87","volume":"44","author":"N Tsumagari","year":"2012","unstructured":"Tsumagari N (2012) Probabilistic relational models of complete IL-semirings. Bull Inf Cybern 44:87\u2013109","journal-title":"Bull Inf Cybern"},{"issue":"1","key":"5593_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artmed.2010.01.003","volume":"49","author":"T Vetterlein","year":"2010","unstructured":"Vetterlein T, Mandl H, Adlassnig K-P (2010) Fuzzy Arden syntax: a fuzzy programming language for medicine. Artif Intell Med 49(1):1\u201310","journal-title":"Artif Intell Med"},{"issue":"3","key":"5593_CR42","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh LA (1965) Fuzzy sets. Inf Control 8(3):338\u2013353","journal-title":"Inf Control"}],"container-title":["Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-021-05593-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00500-021-05593-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00500-021-05593-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,17]],"date-time":"2022-12-17T07:48:58Z","timestamp":1671263338000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00500-021-05593-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,13]]},"references-count":44,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2021,5]]}},"alternative-id":["5593"],"URL":"https:\/\/doi.org\/10.1007\/s00500-021-05593-9","relation":{},"ISSN":["1432-7643","1433-7479"],"issn-type":[{"type":"print","value":"1432-7643"},{"type":"electronic","value":"1433-7479"}],"subject":[],"published":{"date-parts":[[2021,2,13]]},"assertion":[{"value":"13 February 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Compliance with ethical standards"}},{"value":"The authors have no conflict of interest to declare.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"This article does not contain any studies with human participants or animals performed by any of the authors.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethics approval"}}]}}