Semantics; Standards; Poles and towers; Vegetation; Complexity theory; Computational modeling; Cognition;
机译:模态逻辑中的统一插值和命题量词
机译:高度与稀有度≤ω的树上定量命题直觉逻辑和S4的可判定性
机译:经典和直觉命题逻辑的模态逻辑汞齐
机译:为什么命题量化使树木的模态逻辑难以努力?
机译:模特量化和模态逻辑的比较
机译:结合原始实验装置和模型辅助表型的植物光敏和重力敏感性定量方法:该方法对三种硬木树种的试验性测试
机译:为什么命题量化使树木的模态逻辑难以努力?
机译:正态模态命题逻辑的后续计算