TY  - RPRT
TI  - Analytic proofs for logics of evidence and truth
AU  - Walter Carnielli
AU  - Lorenzzo Frade
AU  - Abilio Rodrigues
PY  - 2024
UR  - https://arxiv.org/abs/2412.10588
ID  - 2412.10588
ER  -