机译:高度与稀有度≤ω的树上定量命题直觉逻辑和S4的可判定性
Department of Philosophy, University of Calgary, 2500 University Drive NW Calgary, Alberta, T2N 1N4, Canada;
机译:经典命题逻辑和直觉命题逻辑中变量的可判定性
机译:没有通用量词的二阶直觉命题逻辑
机译:概率逻辑中命题公式的量化:可判定性问题
机译:命题量化知识逻辑的可判定性
机译:具有可预测的绑定预测的正式直觉集合论。
机译:直觉模糊循环和直觉模糊树
机译:量化命题直觉逻辑和s4在高度和高度树上的可判定性