Institut fuer Informatik, Universitaet Augsburg D-86135 Augsburg, Germany;
机译:关于渐进式量子逻辑
机译:量化线性逻辑,渐进式量化和强求反
机译:Gelfand Quantales逻辑的Kripke语义学
机译:量子和时间逻辑
机译:在动态认知逻辑中添加时间逻辑。
机译:Covid-19流行病的控制策略抗疫苗盾牌免疫检疫:公制时间逻辑方法
机译:量子和时间逻辑
机译:一阶谓词逻辑模型理论及相关时态逻辑