...
机译:关于一元二阶逻辑的模态逻辑基础的存在
School of Information Sciences, University of Tampere;
STL-CNRS and University of Lille 3;
expressive completeness; k-dimensional modal logic; monadic second-order logic; regular language; word model;
机译:具有任意谓词的Monadic二阶逻辑
机译:用逻辑编程对单子二阶逻辑进行增量推理
机译:树上的单子二阶逻辑和传递闭合逻辑
机译:具有任意谓词的Monadic二阶逻辑
机译:单子直觉和模态逻辑承认可证明性
机译:基于二阶对比度提示的立体视觉的神经基础
机译:具有任意monadic谓词的一元二阶逻辑