Hypersequents; Non-normal modal logics; Countermodel construction; Cut elimination;
机译:非正常模态和故逻辑的高度高度计算:反模型和最佳复杂性
机译:线性框架的某些模态逻辑中超继结石的割细
机译:无限值的一阶?UKASiewicz逻辑:HyperseChequent Calculi没有结构规则和证明Prenex形式中的句子
机译:反模型结构通过最佳的超高速计算用于非正常模态逻辑
机译:模态和直觉性命题的片段。
机译:非正常网络中的同步动态:最优性的权衡
机译:反模型结构通过最佳的超高速计算用于非正常模态逻辑
机译:正态模态命题逻辑的后续计算