{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T12:57:44Z","timestamp":1775048264474,"version":"3.50.1"},"reference-count":36,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2023,4,15]],"date-time":"2023-04-15T00:00:00Z","timestamp":1681516800000},"content-version":"vor","delay-in-days":1475,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/100011102","name":"FP7","doi-asserted-by":"publisher","award":["PIRSES-GA-2012-318986"],"award-info":[{"award-number":["PIRSES-GA-2012-318986"]}],"id":[{"id":"10.13039\/100011102","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"National Council for Scientific and Technological Development","doi-asserted-by":"publisher","award":["304597\/2015-5"],"award-info":[{"award-number":["304597\/2015-5"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003593","name":"National Council for Scientific and Technological Development","doi-asserted-by":"publisher","award":["307681\/2012-2"],"award-info":[{"award-number":["307681\/2012-2"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100008530","name":"ERDF","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"FCT","doi-asserted-by":"publisher","award":["POCI-01-0145-FEDER-016692"],"award-info":[{"award-number":["POCI-01-0145-FEDER-016692"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1016\/j.scico.2019.01.007","type":"journal-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T09:08:00Z","timestamp":1548320880000},"page":"1-16","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":8,"special_numbering":"C","title":["On interval dynamic logic: Introducing quasi-action lattices"],"prefix":"10.1016","volume":"175","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4991-9603","authenticated-orcid":false,"given":"Regivan","family":"Santiago","sequence":"first","affiliation":[]},{"given":"Benjam\u00edn","family":"Bedregal","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0646-2017","authenticated-orcid":false,"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/j.scico.2019.01.007_br0010","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/s11229-010-9783-6","article-title":"Quantum logic as a dynamic logic","volume":"179","author":"Baltag","year":"2011","journal-title":"Synthese"},{"issue":"3","key":"10.1016\/j.scico.2019.01.007_br0020","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s40314-013-0049-z","article-title":"Some continuity notions for interval functions and representation","volume":"32","author":"Bedregal","year":"2013","journal-title":"Comput. Appl. Math."},{"key":"10.1016\/j.scico.2019.01.007_br0030","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ijar.2017.07.001","article-title":"Generalized interval-valued OWA operators with interval weights derived from interval-valued overlap functions","volume":"90","author":"Bedregal","year":"2017","journal-title":"Int. J. Approx. Reason."},{"key":"10.1016\/j.scico.2019.01.007_br0040","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1016\/j.ins.2012.09.022","article-title":"Interval representations, \u0141ukasiewicz implicators and Smets\u2013Magrez axioms","volume":"221","author":"Bedregal","year":"2013","journal-title":"Inf. Sci."},{"issue":"24","key":"10.1016\/j.scico.2019.01.007_br0050","doi-asserted-by":"crossref","first-page":"3220","DOI":"10.1016\/j.fss.2006.06.013","article-title":"The best interval representations of t-norms and automorphisms","volume":"157","author":"Bedregal","year":"2006","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.scico.2019.01.007_br0060","series-title":"2006 IEEE International Conference on Fuzzy Systems","first-page":"1981","article-title":"Interval valued versions of t-conorms, fuzzy negations and fuzzy implications","author":"Bedregal","year":"2006"},{"issue":"5","key":"10.1016\/j.scico.2019.01.007_br0070","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1093\/logcom\/exp062","article-title":"On the minimum many-valued modal logic over a finite residuated lattice","volume":"21","author":"Bou","year":"2011","journal-title":"J. Log. Comput."},{"issue":"1","key":"10.1016\/j.scico.2019.01.007_br0080","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1109\/TFUZZ.2015.2451692","article-title":"A historical account of types of fuzzy sets and their relationships","volume":"24","author":"Bustince","year":"2016","journal-title":"IEEE Trans. Fuzzy Syst."},{"key":"10.1016\/j.scico.2019.01.007_br0090","article-title":"Algebraic Foundations of Many-Valued Reasoning","author":"Cignoli","year":"1999"},{"key":"10.1016\/j.scico.2019.01.007_br0100","series-title":"Regular Algebra and Finite Machines","author":"Conway","year":"1971"},{"issue":"5","key":"10.1016\/j.scico.2019.01.007_br0110","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1016\/j.fss.2005.10.007","article-title":"Advances and challenges in interval-valued fuzzy logic","volume":"157","author":"Cornelis","year":"2006","journal-title":"Fuzzy Sets Syst."},{"issue":"18","key":"10.1016\/j.scico.2019.01.007_br0120","doi-asserted-by":"crossref","first-page":"3898","DOI":"10.1016\/j.ins.2011.05.003","article-title":"Interval additive generators of interval t-norms and interval t-conorms","volume":"181","author":"Dimuro","year":"2011","journal-title":"Inf. Sci."},{"issue":"3\u20134","key":"10.1016\/j.scico.2019.01.007_br0130","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/FI-1991-153-404","article-title":"Many-valued modal logics","volume":"15","author":"Fitting","year":"1991","journal-title":"Fundam. Inform."},{"issue":"1\u20132","key":"10.1016\/j.scico.2019.01.007_br0140","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","article-title":"Many-valued model logics II","volume":"17","author":"Fitting","year":"1992","journal-title":"Fundam. Inform."},{"key":"10.1016\/j.scico.2019.01.007_br0150","series-title":"Dynamic Logic","author":"Harel","year":"2000"},{"key":"10.1016\/j.scico.2019.01.007_br0160","series-title":"Dynamic Logic","author":"Harel","year":"2000"},{"issue":"5","key":"10.1016\/j.scico.2019.01.007_br0170","doi-asserted-by":"crossref","first-page":"1038","DOI":"10.1145\/502102.502106","article-title":"Interval arithmetic: from principles to implementation","volume":"48","author":"Hickey","year":"2001","journal-title":"J. ACM"},{"issue":"1\u20132","key":"10.1016\/j.scico.2019.01.007_br0180","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10849-005-9008-4","article-title":"Means-end relations and a measure of efficacy","volume":"15","author":"Hughes","year":"2006","journal-title":"J. Log. Lang. Inf."},{"key":"10.1016\/j.scico.2019.01.007_br0190","series-title":"Manuscript in: Logic and Flow of Information, Amsterdam","article-title":"On action algebras","author":"Kozen","year":"1991"},{"issue":"2","key":"10.1016\/j.scico.2019.01.007_br0200","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/0022-0000(85)90012-1","article-title":"A probabilistic PDL","volume":"30","author":"Kozen","year":"1985","journal-title":"J. Comput. Syst. Sci."},{"issue":"2","key":"10.1016\/j.scico.2019.01.007_br0210","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1006\/inco.1994.1037","article-title":"A completeness theorem for Kleene algebras and the algebra of regular events","volume":"110","author":"Kozen","year":"1994","journal-title":"Inf. Comput."},{"key":"10.1016\/j.scico.2019.01.007_br0220","series-title":"New Directions in Rough Sets, Data Mining, and Granular-Soft Computing, Proceedings of the 7th International Workshop","first-page":"294","article-title":"Many-valued dynamic logic for qualitative decision theory","volume":"vol. 1711","author":"Liau","year":"1999"},{"issue":"5","key":"10.1016\/j.scico.2019.01.007_br0230","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1016\/j.jlamp.2016.03.004","article-title":"An exercise on the generation of many-valued dynamic logics","volume":"85","author":"Madeira","year":"2016","journal-title":"J. Log. Algebraic Methods Program."},{"key":"10.1016\/j.scico.2019.01.007_br0240","series-title":"Formal Methods: Foundations and Applications \u2013 Proceedings of the 17th Brazilian Symposium","first-page":"130","article-title":"A dynamic logic for every season","volume":"vol. 8941","author":"Madeira","year":"2014"},{"key":"10.1016\/j.scico.2019.01.007_br0250","series-title":"Interval Arithmetic and Automatic Error Analysis in Digital Computing","author":"Moore","year":"1962"},{"key":"10.1016\/j.scico.2019.01.007_br0260","series-title":"Interval Analysis I","author":"Moore","year":"1959"},{"key":"10.1016\/j.scico.2019.01.007_br0270","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-007-0840-2","article-title":"Advanced \u0141ukasiewicz Calculus and MV-algebras","author":"Mundici","year":"2011"},{"issue":"6","key":"10.1016\/j.scico.2019.01.007_br0280","doi-asserted-by":"crossref","first-page":"1026","DOI":"10.1016\/j.camwa.2011.12.007","article-title":"Extension of fuzzy logic operators defined on bounded lattices via retractions","volume":"63","author":"Palmeira","year":"2012","journal-title":"Comput. Math. Appl."},{"key":"10.1016\/j.scico.2019.01.007_br0290","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1016\/j.fss.2013.07.023","article-title":"On the extension of lattice-valued implications via retractions","volume":"240","author":"Palmeira","year":"2014","journal-title":"Fuzzy Sets Syst."},{"key":"10.1016\/j.scico.2019.01.007_br0300","series-title":"Logical Analysis of Hybrid Systems \u2013 Proving Theorems for Complex Dynamics","author":"Platzer","year":"2010"},{"key":"10.1016\/j.scico.2019.01.007_br0310","series-title":"17th Annual Symposium on Foundations of Computer Science","first-page":"109","article-title":"Semantical considerations on Floyd\u2013Hoare logic","author":"Pratt","year":"1976"},{"key":"10.1016\/j.scico.2019.01.007_br0320","series-title":"JELIA","first-page":"97","article-title":"Action logic and pure induction","volume":"vol. 478","author":"Pratt","year":"1990"},{"issue":"2","key":"10.1016\/j.scico.2019.01.007_br0330","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/s00165-006-0089-x","article-title":"Formal aspects of correctness and optimality of interval computations","volume":"18","author":"Santiago","year":"2006","journal-title":"Form. Asp. Comput."},{"key":"10.1016\/j.scico.2019.01.007_br0340","series-title":"Formal Methods: Foundations and Applications \u2013 Proceedings of the 19th Brazilian Symposium","first-page":"129","article-title":"On interval dynamic logic","volume":"vol. 10090","author":"Santiago","year":"2016"},{"issue":"2\u20133","key":"10.1016\/j.scico.2019.01.007_br0350","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/BF03186528","article-title":"Theory of an interval algebra and its application to numerical analysis [reprint of Res. Assoc. Appl. Geom. Mem. 2 (1958), 29\u201346]","volume":"26","author":"Sunaga","year":"2009","journal-title":"Jpn. J. Ind. Appl. Math."},{"key":"10.1016\/j.scico.2019.01.007_br0360","article-title":"Lattice-Valued Logic: An Alternative Approach to Treat Fuzziness and Incomparability","author":"Xu","year":"2012"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642319300103?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642319300103?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T22:46:49Z","timestamp":1759099609000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642319300103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":36,"alternative-id":["S0167642319300103"],"URL":"https:\/\/doi.org\/10.1016\/j.scico.2019.01.007","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2019,4]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"On interval dynamic logic: Introducing quasi-action lattices","name":"articletitle","label":"Article Title"},{"value":"Science of Computer Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.scico.2019.01.007","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2019 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}