Dynamic logic. new trends and applications: 4th international workshop, dalà 2022, haifa, israel, july 31–august 1, 2022, revised selected papers
Éditeur :
Springer International Publishing AG
ISBN :
9783031266218
Date de publication :
15 févr. 2023
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.