简介：典范框架的思想来自于Henkin对经典逻辑完全性的证明，它依赖于语法对象。同样，模态逻辑的典范框架也依赖于语法对象的构造。每个一致的正规模态逻辑都有对应于它的典范框架，典范框架包含着相对应逻辑的性质信息；另外，典范框架本身作为自然得到的数学对象也有很多逻辑性质值得研究。典范框架的论域由极大一致的公式集构成，因此，典范框架的构成以语言为参数。对于同一个逻辑，它的基于不同语言的典范框架之间有着非常密切的关系，逻辑之间包含关系的信息也反映在典范框架上。极小逻辑的典范框架是相当庞大的，对每个正规逻辑，其典范框架也都是足够“宽”的。
简介：在关于认知与经验主体的本性的明确假设之下，我们试图仔细检验克里普克反驳类型物理主义的模态论证中的前提。当主体被设想为一个超自然的、视整个自然世界为外部世界的“自我”的时候，克里普克的这些前提都显得很合理、可接受。但物理主义蕴涵着认知与经验的主体自身应该是自然世界中的生物一物理系统，在这个物理主义的主体观下，克里普克的这些前提之一就成为假的。
模态逻辑典范框架的几个侧面
克里普克反驳类型等同理论的模态证论中的超自然自我（英文）
