Dynamic Logic. New Trends and Applications: 6th International Workshop, Dalí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers
暫譯: 動態邏輯：新趨勢與應用，第六屆國際研討會，2025年10月20-21日，中國西安大理，修訂選定論文

Wang, Jing, Madeira, Alexandre, Li, Lei

Dynamic Logic. New Trends and Applications: 6th International Workshop, Dalí 2025, Xi'an, China, October 20-21, 2025, Revised Selected Papers
  • 出版商: Springer
  • 出版日期: 2026-07-17
  • 售價: $2,530
  • 貴賓價: 9.5 折 $2,403
  • 語言: 英文
  • 頁數: 215
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3032226252
  • ISBN-13: 9783032226259
  • 相關分類: 離散數學 Discrete-mathematics

    • 海外代購書籍(需單獨結帳)

商品描述

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.

商品描述(中文翻譯)

本書為第六屆國際動態邏輯研討會（Dynamic Logic - New Trends and Applications, DaLí 2025）修訂後的選定論文集，該研討會於2025年10月20日至21日在中國西安舉行。本卷收錄的12篇完整論文經過仔細審查和選擇，來自31篇投稿。這些論文專注於動態邏輯的通用領域及其變體和應用，包括正規模態邏輯、邏輯與學習之間的介面、量子動態邏輯等主題。

類似商品