nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

Verification for Everyone? An Overview of Dynamic Logic

verfasst von : Alexandre Madeira

Erschienen in: Molecular Logic and Computational Synthetic Biology

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Molecular Logic: Brief Introduction and Some Philosophical Considerations

Nächstes Kapitel Oscillatory Behaviour on a Non-autonomous Hybrid SIR-Model

We omit the reflexive loops in the picture.

The complete treatment of this illustration is in [2];.

Baltag, A., Smets, S.: Quantum logic as a dynamic logic. Synthese 179(2), 285–306 (2011). https://doi.org/10.1007/s11229-010-9783-6MathSciNetCrossRefMATH

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.004MathSciNetCrossRef

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/s000120050156MathSciNetCrossRefMATH

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/exw027MathSciNetCrossRefMATH

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-4CrossRefMATH

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)CrossRef

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

10.

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_5CrossRef

11.

Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969). https://doi.org/10.1145/363235.363259CrossRefMATH

12.

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-4MathSciNetCrossRefMATH

13.

Kozen, D.: On action algebras, manuscript. In: Logic and Flow of Information, Amsterdam (1991)

14.

Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Inf. Comput. 110(2), 366–390 (1994)MathSciNetCrossRef

15.

Leandro Gomes, A.M., Benevides, M.: Logics for petri nets with propagating failures. FSEN19 - Fundamentals of Software Engineering. LNCS (in print)

16.

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

17.

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.004MathSciNetCrossRefMATH

18.

Madeira, A., Benevides, M., Martins, M.: Epistemic logics with structured states. Electr. Notes Theor. Comput. Sci. (in print)

19.

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-6MathSciNetCrossRefMATH

20.

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.001CrossRef

21.

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/S2352220816300256MathSciNetCrossRefMATH

22.

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

23.

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

24.

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.001CrossRef

25.

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

26.

Platzer, A.: Logical Foundations of Cyber-Physical Systems. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-63588-0CrossRefMATH

27.

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

28.

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

29.

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/S0167642319300103CrossRef

30.

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_8CrossRef

Titel: Verification for Everyone? An Overview of Dynamic Logic
verfasst von: Alexandre Madeira
Verlag: Springer International Publishing
Buch: Molecular Logic and Computational Synthetic Biology
Print ISBN: 978-3-030-19431-4

Electronic ISBN: 978-3-030-19432-1

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-19432-1_2

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"