{"product_id":"9783032226259","title":"Lecture Notes in Computer Science: 6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers","description":"\u003ch1\u003eLecture Notes in Computer Science: 6th International Workshop, DaLí 2025, Xi'an, China, October 20–21, 2025, Revised Selected Papers\u003c\/h1\u003e \u003ch2\u003eWang, Jing; Madeira, Alexandre; Li, Lei\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cdiv\u003eThis 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.\u003c\/div\u003e\n\u003cdiv\u003e \u003c\/div\u003e\n\u003cdiv\u003eThe 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.\u003c\/div\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2026-06-21\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783032226259\u003c\/p\u003e \u003cp\u003eDOI: \u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 215\u003c\/p\u003e ","brand":"Springer Nature Switzerland","offers":[{"title":"Default Title","offer_id":46412017696908,"sku":"9783032226259","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783032226259.jpg?v=1779934713","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783032226259","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}