[学位论文]
  • Moore, Eoin.
  • City University of New York.
ISBN 9798380117227
作者 Moore, Eoin.   授予学位单位 City University of New York.  
导师 Artemov, Sergei 学位 Ph.D.
学科 Logic.   Applied mathematics.   Mathematics.   国籍 US
页码/总页数 79 p. / 79 出版年 2023
中图分类号 O1
关键词 Evidence aggregation   Justification logic   Lax Logic   Logic   Logic of evidence aggregation   Proof theory