My notes piles(?) up here.

• [zh-CN] 模态逻辑 pdf@20240413
  本文介绍了一些正规模态逻辑系统以及他们的关系. 本文首先定义Kripke语义, 然后再引入推理规则, 但略去了 Soundness/Completeness 的证明. 本文原欲给出一个自然演绎系统, 然而无暇处理meta theory, 便只是套了个这么框架; 模态逻辑系统内的定理证明, 使用推理树和交换图表两种形式, 后者(对于了解范畴论语言的读者)更直观.