论文部分内容阅读
每一个正规模态命题逻辑L都有一个典范标架凡，它的点都是极大的￡一协调公式集。这一构造最初由莱蒙和斯科特在“莱蒙笔记”中引入，而得名于西格伯格（Krister Segerberg）。他在证明大批重要的内涵逻辑的完全性定理时特别倚重于该技术。FL具有这样一种性质：其上有效的公式一定都是L-定理。如果凡使得L有效则称L是典范的。