机译:一些非经典逻辑的博弈论语义
Department of Computer Science, University of Bath, Bath, England;
Game theoretical semantics; logic of paradox; first-degree entailment; relevant logic; connexive logic; Belnap's four-valued logic B4; modal logic S5;
机译:算法,自动机,复杂性和游戏/逻辑,语法和ictcs编程的理论2016年(意大利理论计算机科学会议(ICTC))
机译:关于一阶逻辑的游戏理论语义的有效版本
机译:时空逻辑的博弈论语义学
机译:交替时间逻辑的游戏 - 理论语义
机译:基于NAF的逻辑语义:校样理论泛化和非地扩展
机译:基于组合模糊逻辑和深度学习的超声图像乳腺肿瘤自动分割 - 一种可行性研究
机译:一些非经典逻辑的博弈论语义