{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T19:43:10Z","timestamp":1769974990835,"version":"3.49.0"},"reference-count":41,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[2016,8,1]],"date-time":"2016-08-01T00:00:00Z","timestamp":1470009600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100008530","name":"European Regional Development Fund","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100008530","id-type":"DOI","asserted-by":"crossref"}]},{"name":"National Funds","award":["PTDC\/EEI-CTP\/4836\/2014"],"award-info":[{"award-number":["PTDC\/EEI-CTP\/4836\/2014"]}]},{"DOI":"10.13039\/501100001871","name":"FCT","doi-asserted-by":"publisher","award":["SFRH\/BPD\/103004\/2014"],"award-info":[{"award-number":["SFRH\/BPD\/103004\/2014"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"FCT","doi-asserted-by":"publisher","award":["SFRH\/BD\/52234\/2013"],"award-info":[{"award-number":["SFRH\/BD\/52234\/2013"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"FCT","doi-asserted-by":"publisher","award":["UID\/MAT\/04106\/2013"],"award-info":[{"award-number":["UID\/MAT\/04106\/2013"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"FP7","doi-asserted-by":"publisher","award":["PIRSES-GA-2012-318986"],"award-info":[{"award-number":["PIRSES-GA-2012-318986"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Logical and Algebraic Methods in Programming"],"published-print":{"date-parts":[[2016,8]]},"DOI":"10.1016\/j.jlamp.2016.03.004","type":"journal-article","created":{"date-parts":[[2016,4,4]],"date-time":"2016-04-04T17:49:23Z","timestamp":1459792163000},"page":"1011-1037","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":17,"special_numbering":"P2","title":["An exercise on the generation of many-valued dynamic logics"],"prefix":"10.1016","volume":"85","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0646-2017","authenticated-orcid":false,"given":"Alexandre","family":"Madeira","sequence":"first","affiliation":[]},{"given":"Renato","family":"Neves","sequence":"additional","affiliation":[]},{"given":"Manuel A.","family":"Martins","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jlamp.2016.03.004_br0010","series-title":"Algebraic Methodology and Software Technology, Proceedings of the 12th International Conference","first-page":"83","article-title":"Calculating invariants as coreflexive bisimulations","volume":"vol. 5140","author":"Barbosa","year":"2008"},{"key":"10.1016\/j.jlamp.2016.03.004_br0020","series-title":"Java Card Workshop","first-page":"6","article-title":"A dynamic logic for the formal verification of Java card programs","volume":"vol. 2041","author":"Beckert","year":"2000"},{"issue":"3","key":"10.1016\/j.jlamp.2016.03.004_br0030","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","article-title":"Representation, reasoning, and relational structures: a hybrid logic manifesto","volume":"8","author":"Blackburn","year":"2000","journal-title":"Log. J. IGPL"},{"issue":"2\u20133","key":"10.1016\/j.jlamp.2016.03.004_br0040","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/s000120050156","article-title":"On the structure of hoops","volume":"43","author":"Blok","year":"2000","journal-title":"Algebra Univers."},{"key":"10.1016\/j.jlamp.2016.03.004_br0050","series-title":"Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference","first-page":"1541","article-title":"Characterizing fuzzy modal semantics by fuzzy multimodal systems with crisp accessibility relations","author":"Bou","year":"2009"},{"issue":"5","key":"10.1016\/j.jlamp.2016.03.004_br0060","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."},{"key":"10.1016\/j.jlamp.2016.03.004_br0070","series-title":"Algebraic Foundations of Many-Valued Reasoning","author":"Cignoli","year":"1999"},{"key":"10.1016\/j.jlamp.2016.03.004_br0080","series-title":"Regular Algebra and Finite Machines","author":"Conway","year":"1971"},{"key":"10.1016\/j.jlamp.2016.03.004_br0090","first-page":"1","article-title":"Encoding hybridized institutions into first-order logic","author":"Diaconescu","year":"2014","journal-title":"Math. Struct. Comput. Sci. FirstView"},{"issue":"1\u20132","key":"10.1016\/j.jlamp.2016.03.004_br0100","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/j.tcs.2007.02.055","article-title":"Weighted automata and weighted logics","volume":"380","author":"Droste","year":"2007","journal-title":"Theor. Comput. Sci."},{"issue":"3\u20134","key":"10.1016\/j.jlamp.2016.03.004_br0110","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.jlamp.2016.03.004_br0120","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.jlamp.2016.03.004_br0130","series-title":"RelMiCS","first-page":"124","article-title":"The categories of Kleene algebras, action algebras and action lattices are related by adjunctions","volume":"vol. 3051","author":"Furusawa","year":"2003"},{"key":"10.1016\/j.jlamp.2016.03.004_br0140","series-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"Galatos","year":"2007"},{"key":"10.1016\/j.jlamp.2016.03.004_br0160","article-title":"A Treatise on Many-Valued Logics","volume":"vol. 9","author":"Gottwald","year":"2001"},{"key":"10.1016\/j.jlamp.2016.03.004_br0170","series-title":"Handbook of Philosophical Logic","first-page":"497","article-title":"Dynamic logic","author":"Harel","year":"1984"},{"key":"10.1016\/j.jlamp.2016.03.004_br0180","series-title":"Dynamic Logic","author":"Harel","year":"2000"},{"issue":"1\u20132","key":"10.1016\/j.jlamp.2016.03.004_br0190","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.jlamp.2016.03.004_br0200","series-title":"Ordered Algebraic Structures","first-page":"19","article-title":"A survey of residuated lattices","volume":"vol. 7","author":"Jipsen","year":"2002"},{"issue":"2","key":"10.1016\/j.jlamp.2016.03.004_br0210","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."},{"key":"10.1016\/j.jlamp.2016.03.004_br0220","series-title":"Logic and Flow of Information","article-title":"On action algebras","author":"Kozen","year":"1991"},{"issue":"2","key":"10.1016\/j.jlamp.2016.03.004_br0230","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."},{"issue":"3","key":"10.1016\/j.jlamp.2016.03.004_br0240","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1145\/256167.256195","article-title":"Kleene algebra with tests","volume":"19","author":"Kozen","year":"1997","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/j.jlamp.2016.03.004_br0250","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0304-3975(81)90019-0","article-title":"An Elementary Proof of the Completness of PDL","volume":"14","author":"Kozen","year":"1981","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.jlamp.2016.03.004_br0260","series-title":"New Directions in Rough Sets, Data Mining, and Granular-Soft Computing, Proceedings of the 7th International Workshop, RSFDGrC '99","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.jlamp.2016.03.004_br0270","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1093\/jigpal\/jzu010","article-title":"Propositional dynamic logic for Petri nets","volume":"22","author":"Lopes","year":"2014","journal-title":"Log. J. IGPL"},{"key":"10.1016\/j.jlamp.2016.03.004_br0280","series-title":"Foundations and techniques for software reconfigurability","author":"Madeira","year":"2013"},{"issue":"1","key":"10.1016\/j.jlamp.2016.03.004_br0290","doi-asserted-by":"crossref","DOI":"10.1063\/1.4912930","article-title":"A logic for robotics?","volume":"1648","author":"Madeira","year":"2015","journal-title":"AIP Conf. Proc."},{"key":"10.1016\/j.jlamp.2016.03.004_br0300","series-title":"Formal Methods: Foundations and Applications, Proceedings of the 17th Brazilian Symposium","first-page":"130","article-title":"A dynamic logic for every season","volume":"vol. 8941","author":"Madeira","year":"2015"},{"key":"10.1016\/j.jlamp.2016.03.004_br0310","series-title":"Algebra and Coalgebra in Computer Science","first-page":"283","article-title":"Hybridization of institutions","volume":"vol. 6859","author":"Martins","year":"2011"},{"issue":"6","key":"10.1016\/j.jlamp.2016.03.004_br0320","doi-asserted-by":"crossref","first-page":"3461","DOI":"10.1007\/s10958-005-0281-1","article-title":"Fuzzy modal logics","volume":"128","author":"Mironov","year":"2005","journal-title":"J. Math. Sci."},{"key":"10.1016\/j.jlamp.2016.03.004_br0330","series-title":"CADE","first-page":"385","article-title":"Key-c: a tool for verification of c programs","volume":"vol. 4603","author":"M\u00fcrk","year":"2007"},{"issue":"1","key":"10.1016\/j.jlamp.2016.03.004_br0340","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","article-title":"Probabilistic logic","volume":"28","author":"Nilsson","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/j.jlamp.2016.03.004_br0350","series-title":"Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24\u2013March 1, 2008, Revised Tutorial Lectures","first-page":"195","article-title":"Extended static checking by calculation using the pointfree transform","volume":"vol. 5520","author":"Oliveira","year":"2009"},{"issue":"6","key":"10.1016\/j.jlamp.2016.03.004_br0360","doi-asserted-by":"crossref","first-page":"709","DOI":"10.1142\/S0129054113400145","article-title":"Weighted automata as coalgebras in categories of matrices","volume":"24","author":"Oliveira","year":"2013","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"2","key":"10.1016\/j.jlamp.2016.03.004_br0370","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/j.jlap.2014.02.013","article-title":"A relation-algebraic approach to the \u201choare logic\u201d of functional dependencies","volume":"83","author":"Oliveira","year":"2014","journal-title":"J. Log. Algebr. Meth. Program."},{"issue":"2","key":"10.1016\/j.jlamp.2016.03.004_br0380","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/A:1027354826364","article-title":"Game logic \u2013 an overview","volume":"75","author":"Pauly","year":"2003","journal-title":"Stud. Log."},{"key":"10.1016\/j.jlamp.2016.03.004_br0390","series-title":"Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics","author":"Platzer","year":"2010"},{"issue":"4","key":"10.1016\/j.jlamp.2016.03.004_br0400","doi-asserted-by":"crossref","DOI":"10.2168\/LMCS-8(4:17)2012","article-title":"A complete axiomatization of quantified differential dynamic logic for distributed hybrid systems","volume":"8","author":"Platzer","year":"2012","journal-title":"Log. Methods Comput. Sci."},{"key":"10.1016\/j.jlamp.2016.03.004_br0410","series-title":"JELIA","first-page":"97","article-title":"Action logic and pure induction","volume":"vol. 478","author":"Pratt","year":"1990"},{"issue":"6","key":"10.1016\/j.jlamp.2016.03.004_br0420","first-page":"31","article-title":"A completeness theorem in the modal logic of programs","volume":"24","author":"Segerberg","year":"1977","journal-title":"Not. Am. Math. Soc."}],"container-title":["Journal of Logical and Algebraic Methods in Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220816300256?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S2352220816300256?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2022,7,22]],"date-time":"2022-07-22T05:49:26Z","timestamp":1658468966000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S2352220816300256"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8]]},"references-count":41,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["S2352220816300256"],"URL":"https:\/\/doi.org\/10.1016\/j.jlamp.2016.03.004","relation":{},"ISSN":["2352-2208"],"issn-type":[{"value":"2352-2208","type":"print"}],"subject":[],"published":{"date-parts":[[2016,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"An exercise on the generation of many-valued dynamic logics","name":"articletitle","label":"Article Title"},{"value":"Journal of Logical and Algebraic Methods in Programming","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jlamp.2016.03.004","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 Elsevier Inc.","name":"copyright","label":"Copyright"}]}}