典范框架相关硕士博士期刊学术论文

对每个一致的正规模态逻辑,都对应有它的典范框架,典范框架包含着相应逻辑的信息,典范框本身作为自然得到的数学对象也值......

期刊

对通常的典范模型方法加以改造，在典范结构的基础上，可建立相对于任意给定有穷公式集Г的Г-典范框架和Г-典范模型，以证明M的框架类......

期刊

认知T-原则是一种过强的认知原则,一般的认知不具有此性质."逻辑全能性质"不只是"理想认知主体"才具有的认知性质,一般的"理性认知......

期刊

模态逻辑的典范性由“局部”典范性拼接而成。本文讨论了“局部”典范性问题，即一个模态逻辑的典范框架的什么样的生成子框架是该逻......

期刊