Dynamic Logic. New Trends and Applications
| Author | : Carlos Areces |
| Publisher | : Springer Nature |
| Total Pages | : 167 |
| Release | : 2023-02-14 |
| ISBN-10 | : 9783031266225 |
| ISBN-13 | : 3031266226 |
| Rating | : 4/5 (25 Downloads) |
Book Synopsis Dynamic Logic. New Trends and Applications by : Carlos Areces
Download or read book Dynamic Logic. New Trends and Applications written by Carlos Areces and published by Springer Nature. This book was released on 2023-02-14 with total page 167 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022. The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic.
