Mathematical model; Computational modeling; Boolean algebra; Automata; Calculus; Computer science;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:关于动作的时间逻辑到单调二阶逻辑的转换
机译:用逻辑编程对单子二阶逻辑进行增量推理
机译:Monadic二阶逻辑作为时间逻辑的模型伴侣
机译:单子直觉和模态逻辑承认可证明性
机译:在医疗保健研究中推进复杂性科学:逻辑模型的逻辑
机译:关于动作的时间逻辑到单调二阶逻辑的转化