[PDF]Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, ...

Bibliographic Information

• Book Title: Dynamic Logic. New Trends and Applications

• Book Subtitle: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers

• Editors: Carlos Areces, Diana Costa

• Series Title: Lecture Notes in Computer Science

• DOI: https://doi.org/10.1007/978-3-031-26622-5

• Publisher: Springer Cham

• eBook Packages: Computer Science, Computer Science (R0)

• Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023

• Softcover ISBN: 978-3-031-26621-8Published: 15 February 2023

• eBook ISBN: 978-3-031-26622-5Published: 14 February 2023

• Series ISSN: 0302-9743

• Series E-ISSN: 1611-3349

• Edition Number: 1

• Number of Pages: XIII, 155

• Number of Illustrations: 37 b/w illustrations