Dynamic Logic. New Trends and Applications | 6th International Workshop, DaLí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers
Jing Wang (u. a.)
ISBN 10: 3032226252 ISBN 13: 9783032226259
Published by Springer, 2026
New
Taschenbuch
From
preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since August 5, 2024
This specific item is no longer available.
About this Item
Description:
Dynamic Logic. New Trends and Applications | 6th International Workshop, DaLí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers | Jing Wang (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2026 | Springer | EAN 9783032226259 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 135966074
Synopsis:
This book constitutes the revised selected papers of the 6th International Workshop on Dynamic Logic - New Trends and Applications, DaLí 2025, held in Xi'an, China, during October 20–21, 2025.
The 12 full papers included in this volume were carefully reviewed and selected from 31 submissions. These papers focus on the general field of dynamic logic, its variants and applications, including topics such as logics with regular modalities, the interface between logic and learning, quantum dynamic logic, and much more.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Dynamic Logic. New Trends and Applications |...
Publisher: Springer
Publication Date: 2026
Binding: Taschenbuch
Condition: Neu