linear logic; modal logic; Girard translation; Curry-Howard correspondence; geometry of interaction; staged computation;
机译:直觉模态逻辑S4的线性逻辑重构
机译:直觉逻辑和模态逻辑S4中用于证明搜索和计划的多主体对话和对话序列
机译:将S4的正确多项式翻译成直觉逻辑
机译:直觉模态逻辑S4的线性逻辑重建
机译:单子直觉和模态逻辑承认可证明性
机译:具有现实重言式的直觉模糊逻辑中的现代三段论方法
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)
机译:显式可证性:直觉和模态逻辑的预期语义