4月14日，Dr. Alessandra Palmigiano (TU Delft) 以 Proof-theoretic semantics for dynamic logics 为题展开报告。

Dr. Alessandra Palmigiano 首先为我们介绍了从证明论角度，或者说从词语或句子的使用角度理解意义。而 DEL 的 reduction axioms 从证明论的角度看并不是很好的推演规则。为了给出 DEL 的从证明论角度看良好的推演规则，Dr. Palmigiano 为该逻辑分别引入了与认知算子和 action 算子 adjoint 的算子，使得可以给出具有良好性质的推演规则。Dr. Palmigiano 在给出推演规则后想证明这一系统 cut elimination 成立，但由于时间关系无法阐述证明。