Dynamic Logic. New Trends and Applications: 6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers - Couverture souple

 
9783032226259: Dynamic Logic. New Trends and Applications: 6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers
Couverture souple
ISBN 10 : 3032226252 ISBN 13 : 9783032226259
Editeur : Springer Nature Switzerland AG, 2026

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer Nature Switzerland AG
Date d'édition
2026
Langue
anglais
ISBN 10 
3032226252
ISBN 13 
9783032226259
Reliure
Broché
Nombre de pages
237
Éditeur
Wang Jing, Madeira Alexandre, Li Lei
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Allemagne