State University of New York at Buffalo;
机译:经典和直觉命题逻辑的模态逻辑汞齐
机译:关于直觉的模态和时态逻辑及其经典伴随逻辑:拓扑语义和双仿真
机译:古典否定扩展Belnap-Dunn逻辑的模态和直觉变种
机译:直觉模态逻辑及其经典伴随逻辑的拓扑语义和双仿真
机译:单子直觉和模态逻辑承认可证明性
机译:定量多模态成像数据集成到肿瘤的数学模型
机译:模态直觉逻辑和谓语超直觉逻辑:对应理论(非古典逻辑及其Kripke语义的新观点)
机译:显式可证性:直觉和模态逻辑的预期语义