Dynamic Logic. New Trends and Applications
Author | : Nina Gierasimczuk |
Publisher | : Springer Nature |
Total Pages | : 147 |
Release | : 2024-02-13 |
ISBN-10 | : 9783031517778 |
ISBN-13 | : 3031517776 |
Rating | : 4/5 (776 Downloads) |
Download or read book Dynamic Logic. New Trends and Applications written by Nina Gierasimczuk and published by Springer Nature. This book was released on 2024-02-13 with total page 147 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.