...
机译:等价关系的度量命题邻域逻辑
Univ Udine, Dept Math & Comp Sci, Udine, Italy;
Bending Spoons, Milan, Italy;
Univ Verona, Dept Comp Sci, Verona, Italy;
机译:自然数的度量命题邻域逻辑
机译:具有间隔长度绑定器的混合度量命题邻域逻辑
机译:一种用于空间推理的新模态逻辑:空间命题邻域逻辑
机译:具有等价关系的度量命题邻域逻辑
机译:模特量化和模态逻辑的比较
机译:将等价关系与等价关系相关:复杂的人类功能的关系框架模型
机译:等价关系的度量命题邻域逻辑