摘要
建议
有限结构上的无限逻辑和归纳可定义性 已知具有最小不动点算子(FO+LFP)和部分不动点运算符(FO+PFP)的一阶逻辑的扩展分别捕获了在有限域上存在排序关系时的复杂性类P和PSPACE。。。 一阶可定义和模态可定义的可判定和不可判定问题 语言、逻辑和计算 摘要 本文的核心是关于给定模态公式的一阶可定义性和给定初等条件的模态可定义性的Chagrova定理。 我们考虑模态可定义性是可判定的框架类和。。。 一般模态逻辑和正模态逻辑中的初等可定义性和完备性 本文将Goldblatt对Lemmon–Scott公式的完备性证明推广到各种模态命题逻辑中,这些模态命题逻辑没有经典否定,也没有exfalso,直到正模态逻辑中的合取与析取,必要性与。。。