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 |