internal time; external time; fourier decomposition; action operator; dynamic scheduling; becoming; reflectors; origin of temporality;
机译:非传递线性时间逻辑和逻辑知识运算
机译:更多表达性时态逻辑编程语言的逻辑基础
机译:可判定性w.r.t.从上一个和下一个扩展的线性时间逻辑的逻辑连续性
机译:在计划中成为逻辑:延迟延迟的逻辑运动
机译:客观性,逻辑性和科学正义性:以卡纳普的“世界的逻辑结构”为例(逻辑实证主义,基金会主义,维也纳循环,科学统一,分析哲学)。
机译:逻辑林:用于发现二进制标记的逻辑组合的整体分类器
机译:通过信号时间逻辑规范的反向传播:将逻辑结构注入基于梯度的方法