{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:39:22Z","timestamp":1742913562067,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030194314"},{"type":"electronic","value":"9783030194321"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-19432-1_2","type":"book-chapter","created":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T03:47:10Z","timestamp":1556336830000},"page":"18-33","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Verification for Everyone? An Overview of Dynamic Logic"],"prefix":"10.1007","author":[{"given":"Alexandre","family":"Madeira","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,4,28]]},"reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/s11229-010-9783-6","volume":"179","author":"A Baltag","year":"2011","unstructured":"Baltag, A., Smets, S.: Quantum logic as a dynamic logic. Synthese 179(2), 285\u2013306 (2011). \n                    https:\/\/doi.org\/10.1007\/s11229-010-9783-6","journal-title":"Synthese"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2018.10.004","volume":"338","author":"M Benevides","year":"2018","unstructured":"Benevides, M., Madeira, A., Martins, M.: A family of graded epistemic logics. Electr. Notes Theor. Comput. Sci. 338, 45\u201359 (2018). \n                    https:\/\/doi.org\/10.1016\/j.entcs.2018.10.004","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"2\u20133","key":"2_CR3","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s000120050156","volume":"43","author":"WJ Blok","year":"2000","unstructured":"Blok, W.J., Ferreirim, I.M.A.: On the structure of hoops. Algebra Univers. 43(2\u20133), 233\u2013257 (2000). \n                    https:\/\/doi.org\/10.1007\/s000120050156","journal-title":"Algebra Univers."},{"key":"2_CR4","unstructured":"Conway, J.H.: Regular Algebra and Finite Machines. Printed in GB by William Clowes & Sons Ltd. (1971)"},{"issue":"6","key":"2_CR5","doi-asserted-by":"publisher","first-page":"1825","DOI":"10.1093\/logcom\/exw027","volume":"27","author":"D Costa","year":"2017","unstructured":"Costa, D., Martins, M.A.: Paraconsistency in hybrid logic. J. Log. Comput. 27(6), 1825\u20131852 (2017). \n                    https:\/\/doi.org\/10.1093\/logcom\/exw027","journal-title":"J. Log. Comput."},{"key":"2_CR6","series-title":"Synthese Library Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series. Springer, The Netherland (2008). \n                    https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"key":"2_CR7","unstructured":"Floyd, R.W.: Assigning meanings to programs. In: Proceedings of Symposium on Applied Mathematics, vol. 19, pp. 19\u201332 (1967). \n                    http:\/\/laser.cs.umass.edu\/courses\/cs521-621.Spr06\/papers\/Floyd.pdf"},{"key":"2_CR8","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.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Hennicker, R., Madeira, A.: Institutions for behavioural dynamic logic with binders. In: Hung, D.V., Kapur, D. (eds.) Theoretical Aspects of Computing\u00a0- ICTAC 2017\u201314th International Colloquium, Hanoi, Vietnam, October 23\u201327, 2017, Proceedings. LNCS, vol. 10580, pp. 13\u201331. Springer, Cham (2017). \n                    https:\/\/doi.org\/10.1007\/978-3-319-67729-3_2","DOI":"10.1007\/978-3-319-67729-3_2"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-030-16722-6_5","volume-title":"Fundamental Approaches to Software Engineering","author":"R Hennicker","year":"2019","unstructured":"Hennicker, R., Madeira, A., Knapp, A.: A hybrid dynamic logic for event\/data-based systems. In: H\u00e4hnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 79\u201397. Springer, Cham (2019). \n                    https:\/\/doi.org\/10.1007\/978-3-030-16722-6_5"},{"issue":"10","key":"2_CR11","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576\u2013580 (1969). \n                    https:\/\/doi.org\/10.1145\/363235.363259","journal-title":"Commun. ACM"},{"issue":"1\u20132","key":"2_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s10849-005-9008-4","volume":"15","author":"J Hughes","year":"2006","unstructured":"Hughes, J., Esterline, A.C., Kimiaghalam, B.: Means-end relations and a measureof efficacy. J. Logic Lang. Inf. 15(1\u20132), 83\u2013108 (2006). \n                    https:\/\/doi.org\/10.1007\/s10849-005-9008-4","journal-title":"J. Logic Lang. Inf."},{"key":"2_CR13","unstructured":"Kozen, D.: On action algebras, manuscript. In: Logic and Flow of Information, Amsterdam (1991)"},{"issue":"2","key":"2_CR14","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1006\/inco.1994.1037","volume":"110","author":"D Kozen","year":"1994","unstructured":"Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inf. Comput. 110(2), 366\u2013390 (1994)","journal-title":"Inf. Comput."},{"key":"2_CR15","unstructured":"Leandro Gomes, A.M., Benevides, M.: Logics for petri nets with propagating failures. FSEN19 - Fundamentals of Software Engineering. LNCS (in print)"},{"key":"2_CR16","doi-asserted-by":"publisher","unstructured":"Liau, C.: 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, 7th International Workshop, RSFDGrC 1999, Yamaguchi, Japan, November 9\u201311, 1999, Proceedings. LNCS, vol. 1711, pp. 294\u2013303. Springer, Berlin (1999). \n                    https:\/\/doi.org\/10.1007\/978-3-540-48061-7-36","DOI":"10.1007\/978-3-540-48061-7-36"},{"key":"2_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). \n                    https:\/\/doi.org\/10.1016\/j.tcs.2018.03.004","journal-title":"Theor. Comput. Sci."},{"key":"2_CR18","unstructured":"Madeira, A., Benevides, M., Martins, M.: Epistemic logics with structured states. Electr. Notes Theor. Comput. Sci. (in print)"},{"issue":"2","key":"2_CR19","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/s00165-014-0327-6","volume":"27","author":"A Madeira","year":"2015","unstructured":"Madeira, A., Martins, M.A., Barbosa, L.S., Hennicker, R.: Refinement inhybridised institutions. Formal Asp. Comput. 27(2), 375\u2013395 (2015). \n                    https:\/\/doi.org\/10.1007\/s00165-014-0327-6","journal-title":"Formal Asp. Comput."},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1016\/j.scico.2016.05.001","volume":"132","author":"A Madeira","year":"2016","unstructured":"Madeira, A., Neves, R., Barbosa, L.S., Martins, M.A.: A method for rigorousdesign of reconfigurable systems. Sci. Comput. Program. 132, 50\u201376 (2016). \n                    https:\/\/doi.org\/10.1016\/j.scico.2016.05.001","journal-title":"Sci. Comput. Program."},{"issue":"5","key":"2_CR21","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.1016\/j.jlamp.2016.03.004","volume":"85","author":"A Madeira","year":"2016","unstructured":"Madeira, A., Neves, R., Martins, M.A.: An exercise on the generation of many-valued dynamic logics. J. Log. Algebr. Meth. Program. 85(5), 1011\u20131037 (2016). \n                    https:\/\/doi.org\/10.1016\/j.jlamp.2016.03.004\n                    \n                  . \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S2352220816300256","journal-title":"J. Log. Algebr. Meth. Program."},{"key":"2_CR22","doi-asserted-by":"publisher","unstructured":"Madeira, A., Neves, R., Martins, M.A., Barbosa, L.S.: A dynamic logic for every season. In: Braga, C., Mart\u00ed-Oliet, N. (eds.) Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Macei\u00f3, AL, Brazil, September 29-October 1, 2014. Proceedings. LNCS, vol. 8941, pp. 130\u2013145. Springer, Cham (2014). \n                    https:\/\/doi.org\/10.1007\/978-3-319-15075-8_9","DOI":"10.1007\/978-3-319-15075-8_9"},{"key":"2_CR23","doi-asserted-by":"publisher","unstructured":"Martins, M.A., Madeira, A., Diaconescu, R., Barbosa, L.S.: Hybridization of institutions. In: Corradini, A., Klin, B., C\u00eerstea, C. (eds.) Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings. LNCS, vol. 6859, pp. 283\u2013297. Springer, Heidelberg (2011). \n                    https:\/\/doi.org\/10.1007\/978-3-642-22944-2_20","DOI":"10.1007\/978-3-642-22944-2_20"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.scico.2016.03.001","volume":"126","author":"R Neves","year":"2016","unstructured":"Neves, R., Madeira, A., Martins, M.A., Barbosa, L.S.: Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126, 73\u201393 (2016). \n                    https:\/\/doi.org\/10.1016\/j.scico.2016.03.001","journal-title":"Sci. Comput. Program."},{"key":"2_CR25","unstructured":"Parikh, R.: The logic of games and its applications. In: Selected Papers of the International Conference on \u201cFoundations of Computation Theory\u201d on Topics in the Theory of Computation, pp. 111\u2013139. Elsevier North-Holland Inc, New York (1985). \n                    http:\/\/dl.acm.org\/citation.cfm?id=4030.4037"},{"key":"2_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63588-0","volume-title":"Logical Foundations of Cyber-Physical Systems","author":"A Platzer","year":"2018","unstructured":"Platzer, A.: Logical Foundations of Cyber-Physical Systems. Springer, Cham (2018). \n                    https:\/\/doi.org\/10.1007\/978-3-319-63588-0"},{"key":"2_CR27","doi-asserted-by":"publisher","unstructured":"Pratt, V.R.: Semantical considerations on floyd-hoare logic. In: 17th Annual Symposium on Foundations of Computer Science, Houston, Texas, USA, 25\u201327 October 1976, pp. 109\u2013121. IEEE Computer Society (1976). \n                    https:\/\/doi.org\/10.1109\/SFCS.1976.27","DOI":"10.1109\/SFCS.1976.27"},{"key":"2_CR28","doi-asserted-by":"publisher","unstructured":"Pratt, V.R.: Dynamic logic: A personal perspective. In: Madeira, A., Benevides, M.R.F. (eds.) Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23\u201324, 2017, Proceedings. LNCS, vol. 10669, pp. 153\u2013170. Springer, Cham (2017). \n                    https:\/\/doi.org\/10.1007\/978-3-319-73579-5_10","DOI":"10.1007\/978-3-319-73579-5_10"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2019.01.007","volume":"175","author":"R Santiago","year":"2019","unstructured":"Santiago, R., Bedregal, B., Madeira, A., Martins, M.A.: On interval dynamic logic: introducing quasi-action lattices. Sci. Comput. Program. 175, 1\u201316 (2019). \n                    https:\/\/doi.org\/10.1016\/j.scico.2019.01.007\n                    \n                  . \n                    http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167642319300103","journal-title":"Sci. Comput. Program."},{"key":"2_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-49815-7_8","volume-title":"Formal Methods: Foundations and Applications","author":"RHN Santiago","year":"2016","unstructured":"Santiago, R.H.N., Bedregal, B., Madeira, A., Martins, M.A.: On interval dynamic logic. In: Ribeiro, L., Lecomte, T. (eds.) SBMF 2016. LNCS, vol. 10090, pp. 129\u2013144. Springer, Cham (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-319-49815-7_8"}],"container-title":["Lecture Notes in Computer Science","Molecular Logic and Computational Synthetic Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-19432-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T11:02:44Z","timestamp":1558350164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-19432-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030194314","9783030194321"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-19432-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"28 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MLCSB","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Molecular Logic and Computational Synthetic Biology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Santiago","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Chile","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 December 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 December 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mlcsb2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/mlcsb2018.web.ua.pt\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"OCS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"19","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"7","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"37% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}