...
机译:完全标记的直觉模态逻辑证明系统
UCL Dept Comp Sci Gower St London WC1E 6BT England;
Ecole Polytech Lab Informat 1 Rue Honore Estienne Orves F-91120 Palaiseau France|Inria Saclay Palaiseau France;
Ecole Polytech Lab Informat 1 Rue Honore Estienne Orves F-91120 Palaiseau France|Inria Saclay Palaiseau France;
机译:直觉模态逻辑的模块化聚焦证明系统
机译:用于直觉和经典模态逻辑的无标签自然演绎系统
机译:直觉逻辑和模态逻辑S4中用于证明搜索和计划的多主体对话和对话序列
机译:用于直觉模态逻辑IS5的无标签证明系统
机译:单子直觉和模态逻辑承认可证明性
机译:标记的插值系统用于超分辨率从句和局部证明
机译:用于直觉模态逻辑的模块化聚焦证明系统
机译:显式可证性:直觉和模态逻辑的预期语义