Abstract
This note, reporting the homonym keynote presented in the International Symposium on Molecular Logic and Computational Synthetic Biology 2018, traces an informal roadmap on Dynamic Logic (DL) field, focusing on its versatility and resilience to be adjusted and adopted in a wide class of application domains and computational paradigms. The exposition argues the room for developments on tagging DL to the analysis of synthetic biologic domain.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
We omit the reflexive loops in the picture.
- 2.
The complete treatment of this illustration is in [2];.
References
Baltag, A., Smets, S.: Quantum logic as a dynamic logic. Synthese 179(2), 285–306 (2011). https://doi.org/10.1007/s11229-010-9783-6
Benevides, M., Madeira, A., Martins, M.: A family of graded epistemic logics. Electr. Notes Theor. Comput. Sci. 338, 45–59 (2018). https://doi.org/10.1016/j.entcs.2018.10.004
Blok, W.J., Ferreirim, I.M.A.: On the structure of hoops. Algebra Univers. 43(2–3), 233–257 (2000). https://doi.org/10.1007/s000120050156
Conway, J.H.: Regular Algebra and Finite Machines. Printed in GB by William Clowes & Sons Ltd. (1971)
Costa, D., Martins, M.A.: Paraconsistency in hybrid logic. J. Log. Comput. 27(6), 1825–1852 (2017). https://doi.org/10.1093/logcom/exw027
van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library Series. Springer, The Netherland (2008). https://doi.org/10.1007/978-1-4020-5839-4
Floyd, R.W.: Assigning meanings to programs. In: Proceedings of Symposium on Applied Mathematics, vol. 19, pp. 19–32 (1967). http://laser.cs.umass.edu/courses/cs521-621.Spr06/papers/Floyd.pdf
Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)
Hennicker, R., Madeira, A.: Institutions for behavioural dynamic logic with binders. In: Hung, D.V., Kapur, D. (eds.) Theoretical Aspects of Computing - ICTAC 2017–14th International Colloquium, Hanoi, Vietnam, October 23–27, 2017, Proceedings. LNCS, vol. 10580, pp. 13–31. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-67729-3_2
Hennicker, R., Madeira, A., Knapp, A.: A hybrid dynamic logic for event/data-based systems. In: Hähnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 79–97. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-16722-6_5
Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969). https://doi.org/10.1145/363235.363259
Hughes, J., Esterline, A.C., Kimiaghalam, B.: Means-end relations and a measureof efficacy. J. Logic Lang. Inf. 15(1–2), 83–108 (2006). https://doi.org/10.1007/s10849-005-9008-4
Kozen, D.: On action algebras, manuscript. In: Logic and Flow of Information, Amsterdam (1991)
Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inf. Comput. 110(2), 366–390 (1994)
Leandro Gomes, A.M., Benevides, M.: Logics for petri nets with propagating failures. FSEN19 - Fundamentals of Software Engineering. LNCS (in print)
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–11, 1999, Proceedings. LNCS, vol. 1711, pp. 294–303. Springer, Berlin (1999). https://doi.org/10.1007/978-3-540-48061-7-36
Madeira, A., Barbosa, L.S., Hennicker, R., Martins, M.A.: A logic for the stepwise development of reactive systems. Theor. Comput. Sci. 744, 78–96 (2018). https://doi.org/10.1016/j.tcs.2018.03.004
Madeira, A., Benevides, M., Martins, M.: Epistemic logics with structured states. Electr. Notes Theor. Comput. Sci. (in print)
Madeira, A., Martins, M.A., Barbosa, L.S., Hennicker, R.: Refinement inhybridised institutions. Formal Asp. Comput. 27(2), 375–395 (2015). https://doi.org/10.1007/s00165-014-0327-6
Madeira, A., Neves, R., Barbosa, L.S., Martins, M.A.: A method for rigorousdesign of reconfigurable systems. Sci. Comput. Program. 132, 50–76 (2016). https://doi.org/10.1016/j.scico.2016.05.001
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–1037 (2016). https://doi.org/10.1016/j.jlamp.2016.03.004. http://www.sciencedirect.com/science/article/pii/S2352220816300256
Madeira, A., Neves, R., Martins, M.A., Barbosa, L.S.: A dynamic logic for every season. In: Braga, C., Martí-Oliet, N. (eds.) Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings. LNCS, vol. 8941, pp. 130–145. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-15075-8_9
Martins, M.A., Madeira, A., Diaconescu, R., Barbosa, L.S.: Hybridization of institutions. In: Corradini, A., Klin, B., Cîrstea, 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–297. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-22944-2_20
Neves, R., Madeira, A., Martins, M.A., Barbosa, L.S.: Proof theory for hybrid(ised) logics. Sci. Comput. Program. 126, 73–93 (2016). https://doi.org/10.1016/j.scico.2016.03.001
Parikh, R.: The logic of games and its applications. In: Selected Papers of the International Conference on “Foundations of Computation Theory” on Topics in the Theory of Computation, pp. 111–139. Elsevier North-Holland Inc, New York (1985). http://dl.acm.org/citation.cfm?id=4030.4037
Platzer, A.: Logical Foundations of Cyber-Physical Systems. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-63588-0
Pratt, V.R.: Semantical considerations on floyd-hoare logic. In: 17th Annual Symposium on Foundations of Computer Science, Houston, Texas, USA, 25–27 October 1976, pp. 109–121. IEEE Computer Society (1976). https://doi.org/10.1109/SFCS.1976.27
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–24, 2017, Proceedings. LNCS, vol. 10669, pp. 153–170. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-73579-5_10
Santiago, R., Bedregal, B., Madeira, A., Martins, M.A.: On interval dynamic logic: introducing quasi-action lattices. Sci. Comput. Program. 175, 1–16 (2019). https://doi.org/10.1016/j.scico.2019.01.007. http://www.sciencedirect.com/science/article/pii/S0167642319300103
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–144. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-49815-7_8
Acknowledgements
The author would sincerely thanks the invitation of the MLCSB’18 to present this personal perspective on Dynamic Logic, a topic with which he has been involved in the last years.
This work is financed by the ERDF – European Regional Development Fund through the Operational Programme for Competitiveness and Internationalisation - COMPETE 2020 Programme and by National Funds through the Portuguese funding agency, FCT - Fundação para a Ciência e a Tecnologia, within project POCI-01-0145-FEDER-016692 and UID/MAT/04106/2019, in a contract foreseen in nos. 4–6 of art. 23 of the DL 57/2016, changed by DL 57/2017.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Madeira, A. (2019). Verification for Everyone? An Overview of Dynamic Logic. In: Chaves, M., Martins, M. (eds) Molecular Logic and Computational Synthetic Biology. MLCSB 2018. Lecture Notes in Computer Science(), vol 11415. Springer, Cham. https://doi.org/10.1007/978-3-030-19432-1_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-19432-1_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-19431-4
Online ISBN: 978-3-030-19432-1
eBook Packages: Computer ScienceComputer Science (R0)