Verwandte Artikel zu Dynamic Logic. New Trends and Applications: 6th Internationa...

Dynamic Logic. New Trends and Applications: 6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers (Lecture Notes in Computer Science, Band 16472) - Softcover

 
9783032226259: Dynamic Logic. New Trends and Applications: 6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers (Lecture Notes in Computer Science, Band 16472)
Softcover
ISBN 10: 3032226252 ISBN 13: 9783032226259
Verlag: Springer, 2026

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2026
Sprache
Englisch
ISBN 10 
3032226252
ISBN 13 
9783032226259
Einband
Taschenbuch
Anzahl der Seiten
240
Herausgeber
Wang Jing, Madeira Alexandre, Li Lei
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland