动力学逻辑与逻辑动力学；若干范式示例

本文综述了朝向动态量子逻辑的一些近期进展，并概述其显式构造——指出了它与其他动力学逻辑之间的一些类比与对比。摘要：“（静态）运算量子逻辑”的发展指出，经典的布尔结构过于僵硬，不足以描述量子系统的实际与潜在性质。另一方面，从直觉主义视角审视运算量子逻辑，引导我们从逻辑上通过重新考量描述量子系统行为所需的原始命题来纳入动力学，特别是鉴于量子测量的非确定性所导致的涌现析取性。对“直觉主义量子逻辑”的进一步阐发演变为“动态运算量子逻辑”，它使我们能够表达动态推理，即我们可以捕捉实际性质如何传播，包括其时间因果结构，并对演化或经受测量的系统提供统一的逻辑描述。这一框架揭示出，即便是静态运算量子逻辑也带有一个隐藏的动态要素，体现为所称的格结构的“正交模性”。聚焦于动态运算量子逻辑的 quantale 语义，我们刻画了其与现有（非）交换线性逻辑的 quantale 语义的若干差异点。