Dynamic logic. new trends and applications: 5th international workshop, dalà 2023, tbilisi, georgia, september 15–16, 2023, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783031517761
Date de publication :
13 janv. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLà 2023, held in Tbilisi, Georgia, during September 15–16, 2023. They deal with new trends and applications in the area of Dynamic Logic.