机译:Van Benthem / Rosen定理,用于合子谓词逻辑
Friedrich Alexander Univ Erlangen Nurnberg, Erlangen, Germany;
Australian Natl Univ, Canberra, ACT, Australia;
Friedrich Alexander Univ Erlangen Nurnberg, Erlangen, Germany;
Modal logic; correspondence theory; coalgebra; bisimulation invariance; Gaifman locality;
机译:Johan van Benthem,Gerhard Heinzmann,Manuel Rebuschi和Henk Visser编辑。替代逻辑的时代:当今评估逻辑和数学的哲学。逻辑,认识论和科学的统一; 3
机译:中间谓词逻辑的Glivenko定理的简短证明
机译:中间谓词逻辑的Glivenko定理的简短证明
机译:量化的CoolgeBraic Van Benthem定理
机译:预测谓词逻辑推理问题的难度:谓词逻辑模型的实证检验
机译:超越吉辛定理及其应用:两党爱因斯坦-波多尔斯基-罗森指导的违反局部现实主义的行为
机译:模糊模态逻辑的范·宾馆定理