...
机译:模态逻辑K4中的引用,证明和模型
Department of Logic University of Wrocław;
modal logic; refutation rules; decidability; possible world semantics;
机译:模态命题逻辑K4,S4和S5的无环决策过程
机译:明确分析可构造虚假和河流逻辑的证明/驳旧交互
机译:构建证明和驳斥的共构逻辑
机译:模态逻辑T,K4和S4的核心片段的计算复杂性
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:模态逻辑中对有限模型的句法反驳
机译:可以通过模态逻辑指定的证明操作