正规模态逻辑

维基百科,自由的百科全书
跳转至: 导航搜索

逻辑中,正规模态逻辑是模态公式的集合 LL 包含

  • 所有命题重言式
  • Kripke 模式: \Box(A\to B)\to(\Box A\to\Box B)

并且 L 闭合于

  • 代换,
  • 分拆规则: 从 AAB 推出 B
  • 必然性规则: 从 A 推出 \Box A

最小化的正规模态逻辑叫做 K