Dynamic Logic. New Trends and Applications 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers /

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 n...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Areces, Carlos (Editor), Costa, Diana (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edition:	1st ed. 2023.
Series:	Lecture Notes in Computer Science, 13780
Subjects:	Logic. Mathematical logic. Logic programming. Software engineering. Computer networks . Mathematical Logic and Foundations. Logic in AI. Software Engineering. Computer Communication Networks.
Online Access:	https://doi.org/10.1007/978-3-031-26622-5
Tags:	Add Tag No Tags, Be the first to tag this record!