机译:论逻辑的结合论
CIDMA, Departamento de Matemdtica, Universidade de Aveiro, 3810-193 Aveiro, Portugal;
CIDMA, Departamento de Matemdtica, Universidade de Aveiro, 3810-193 Aveiro, Portugal;
Consequence relation; closure space; coalgebra; covariety;
机译:模态逻辑的合代语义:概述
机译:关于正模态逻辑的统一观点
机译:概率逻辑编程的临时语义
机译:方程模态不动点逻辑中特征公式的合并代数视图
机译:摩尔机的凝聚代数自动机和典范模型。
机译:进化的逻辑:Eugene V. Koonin对机会逻辑的评论
机译:关于逻辑学的核算法观
机译:meal机器的代数逻辑与综合